[coreboot-gerrit] Patch set updated for coreboot: c2a3fe0 uart8250_mem_console.c: Remove inclusion of mc146818rtc.h