[coreboot-gerrit] Patch set updated for coreboot: b9f4b72 PC80 RTC: Use acpi_is_wakeup_s3()