[coreboot-gerrit] New patch to review for coreboot: 5a0b5f3 sandy/ivy boards: Rename defines from onboard.h for ACPI