[coreboot] New patch to review for coreboot: 12242d0 AGESA: skip s3_resume.h if CONFIG_HAVE_ACPI_RESUME is disabled