Re: [coreboot] patch: support for AMP TinyGX