[coreboot-gerrit] Patch merged into coreboot/master: b04e0ff console: Simplify vtxprintf