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