[coreboot] Patch merged into coreboot/master: 7a36e53 Move SeaBIOS output out of coreboot source tree