[coreboot] REG : coreboot with UEFI payload