[coreboot-gerrit] Patch set updated for coreboot: 75c8d1f i945: Consolidate acpi/platform.asl