[coreboot-gerrit] New patch to review for coreboot: 6c3dd08 sandy/ivy boards: Use acpi_s3_resume_allowed()