Re: [coreboot] how to use TianoCore as a coreboot payload