[coreboot-gerrit] Patch set updated for coreboot: 4adf157 ACPI: Get S3 resume state from romstage_handoff