Re: [coreboot] RFC: Coreboot support of SFI