[coreboot] Patch merged into coreboot/master: 8d05322 Fix console.c with serial support disabled