Re: [coreboot] EDK2 Duet (UEFI) payload for coreboot