[coreboot-gerrit] Patch set updated for coreboot: c79b69b intel: Use defined ACPI S3 magic values