[coreboot] RFC: Coreboot support of SFI