[coreboot] New patch to review for coreboot: d4508c2 Don't include console.h in microcode.c when compiling with ROMCC