[coreboot-gerrit] Patch set updated for coreboot: 4777b2d amdfam15tn: Switch to per-device ACPI