[coreboot] how to use TianoCore as a coreboot payload