[coreboot-gerrit] Patch set updated for coreboot: 25d1fc9 mainboard/*/acpi/ide.asl: Serialize ACPI methods to avoid races.