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