[coreboot-gerrit] Patch set updated for coreboot: 7ec8006 ACPI: Add acpi_is_wakeup_s3() for romstage