[coreboot] Patch set updated for coreboot: bde9093 AGESA: skip s3_resume.h if CONFIG_HAVE_ACPI_RESUME is disabled