[coreboot-gerrit] Patch merged into coreboot/master: 2ca2afe ACPI S3 support: Add acpi_s3_resume_allowed()