[coreboot-gerrit] Patch set updated for coreboot: d6c5b63 Move set_boot_successful to drivers/pc80/mc146818rtc.c