|
@@ -676,6 +676,17 @@ static struct dmi_system_id __initdata bad_bios_dmi_table[] = {
|
|
|
DMI_MATCH(DMI_BOARD_NAME, "DG45FC"),
|
|
|
},
|
|
|
},
|
|
|
+ /*
|
|
|
+ * The Dell Inspiron Mini 1012 has DMI_BIOS_VENDOR = "Dell Inc.", so
|
|
|
+ * match on the product name.
|
|
|
+ */
|
|
|
+ {
|
|
|
+ .callback = dmi_low_memory_corruption,
|
|
|
+ .ident = "Phoenix BIOS",
|
|
|
+ .matches = {
|
|
|
+ DMI_MATCH(DMI_PRODUCT_NAME, "Inspiron 1012"),
|
|
|
+ },
|
|
|
+ },
|
|
|
#endif
|
|
|
{}
|
|
|
};
|