[coreboot-gerrit] Patch set updated for coreboot: 683b9d7 rtc: Add an RTC API, and implement it for x86.