[coreboot] Patch merged into coreboot/master: dc5c7e0 Don't disable ACPI in the S3 resume path