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