[coreboot-gerrit] Patch set updated for coreboot: a94de0a via/epia-n: Switch to per-device ACPI