[coreboot-gerrit] Patch set updated for coreboot: 2c75772 AGESA boards: Use acpi_s3_resume_allowed()