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