Re: [coreboot] REG : coreboot with UEFI payload