[coreboot-gerrit] Patch set updated for coreboot: 7d7fcb2 sandy/ivy boards: Rename defines from onboard.h for ACPI