[coreboot] proposed patch to src/lib/console.c