[coreboot-gerrit] Patch set updated for coreboot: 8037c9b ACPI: Prepare for HAVE_ACPI_RESUME changes