[coreboot] Patch set updated for coreboot: c863b51 Conditionally include mc146818rtc in console.c