[coreboot-gerrit] Patch set updated for coreboot: 18ee4d9 amdfam16kb: Switch to per-device ACPI