[coreboot] Patch merged into coreboot/master: d4508c2 Don't include console.h in microcode.c when compiling with ROMCC