From 251606f1b1a3abb4b6a5488444c84f45b985d777 Mon Sep 17 00:00:00 2001
From: Gabor Gombas <gombasg@digikabel.hu>
Date: Mon, 24 May 2010 12:13:18 -0700
Subject: [PATCH] --- yaml --- r: 199339 b: refs/heads/master c:
 3d6e77a3ddb8e4156b89f4273ff8c7d37abaf781 h: refs/heads/master i:   199337:
 5925c1f49099149a3d8ceccd047630aa4f12adf7   199335:
 59608ae13a401a3e6312b3f9c14df7d4b7614b55 v: v3

---
 [refs]                        |  2 +-
 trunk/arch/x86/kernel/setup.c | 11 +++++++++++
 2 files changed, 12 insertions(+), 1 deletion(-)

diff --git a/[refs] b/[refs]
index 8065e80b390c..a0b0e3799f47 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 5f2eb55026c91f8400ab4469aff88b2e201b5616
+refs/heads/master: 3d6e77a3ddb8e4156b89f4273ff8c7d37abaf781
diff --git a/trunk/arch/x86/kernel/setup.c b/trunk/arch/x86/kernel/setup.c
index e8029896309a..b4ae4acbd031 100644
--- a/trunk/arch/x86/kernel/setup.c
+++ b/trunk/arch/x86/kernel/setup.c
@@ -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
 	{}
 };