[coreboot-gerrit] Patch set updated for coreboot: a6eabb1 sch: Switch to collaborative ACPI