[coreboot-gerrit] New patch to review for coreboot: 1bba2b6 mainboard/*/acpi/ide.asl: Serialize ACPI methods to avoid races.