[coreboot] Re: Coreboot and Tianocore