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