--- arch/x86/kernel/setup.c

+++ arch/x86/kernel/setup.c

@@ -688,6 +688,17 @@ static struct dmi_system_id __initdata b

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

{}

};