[coreboot-gerrit] Patch merged into coreboot/master: 2d7bd8a Implement ACPI in a per device way