[coreboot-gerrit] Patch merged into coreboot/master: c7310d9 e7505: Move to per-device ACPI