Re: [coreboot] coreboot support for AMD HT3