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