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