x86: allow NODES_SHIFT to be a config option on x86_64
[sfrench/cifs-2.6.git] / drivers / firmware / dmi_scan.c
index 4072449ad1cdeca805cf38b1e8c1a16432ee6bb9..c5e3ed7e903b3a14f405554f8c6163f2d62cb998 100644 (file)
@@ -266,7 +266,7 @@ static void __init dmi_save_ipmi_device(const struct dmi_header *dm)
        dev->name = "IPMI controller";
        dev->device_data = data;
 
-       list_add(&dev->list, &dmi_devices);
+       list_add_tail(&dev->list, &dmi_devices);
 }
 
 static void __init dmi_save_extended_devices(const struct dmi_header *dm)