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