[coreboot-gerrit] Patch set updated for coreboot: d283d04 gm45: Convert to collaborative ACPI