[coreboot-gerrit] Patch set updated for coreboot: b331dc7 e7501: Move to perdev ACPI