[coreboot-gerrit] Patch set updated for coreboot: 12f4168 console: Simplify vtxprintf