[coreboot-gerrit] Patch merged into coreboot/master: 6722f8d sandy/ivy boards: Use acpi_s3_resume_allowed()