Porting U-Boot's UEFI Payload to coreboot