[coreboot-gerrit] New patch to review for coreboot: 4cd2666 uart8250_mem_console.c: Remove inclusion of mc146818rtc.h