[coreboot] Patch merged into coreboot/master: 0f5caa2 Conditionally include mc146818rtc in console.c