[coreboot-gerrit] Patch set updated for coreboot: a94df67 Misc: Use acpi_is_wakeup_s3()