Re: [coreboot] Patch merged into coreboot/master: ed08bcc Hook up corebootPkg as Tianocore payload