[coreboot-gerrit] Patch merged into coreboot/master: b9cd5ec sandy/ivy boards: Rename defines from onboard.h for ACPI