[coreboot-gerrit] Patch set updated for coreboot: b14cd6c amd00730F01: Switch to per-device ACPI