[coreboot-gerrit] Patch set updated for coreboot: d28ddb4 Implement ACPI in a collaborative way