[coreboot-gerrit] Patch merged into coreboot/master: 0e3ca27 mainboard/*/acpi/ide.asl: Serialize ACPI methods to avoid races.