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