[coreboot-gerrit] Patch set updated for coreboot: f4776e9 RTC: Skip rtc_init() in S3 resume path