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