[coreboot-gerrit] New patch to review for coreboot: 96a2e9d Move set_boot_successful to drivers/pc80/mc146818rtc.c