[coreboot] Re: How to build UEFI payload for Coreboot?