[coreboot] Patch merged into coreboot/master: 6f65e88 Fix console output in real mode int10 implementation.