[coreboot-gerrit] Patch merged into coreboot/master: 86ce7f9 RTC: Skip rtc_init() in S3 resume path