--- a/drivers/platform/x86/dell-wmi.c~	2009-04-21 12:41:50.000000000 -0500
+++ b/drivers/platform/x86/dell-wmi.c	2009-04-21 12:30:35.000000000 -0500
@@ -255,8 +255,10 @@
 			return err;
 		}
 
-	} else
-		printk(KERN_WARNING "dell-wmi: No known WMI GUID found\n");
+	} else {
+		printk(KERN_ERR "dell-wmi: No known WMI GUID found\n");
+		return -ENODEV;
+    }
 
 	return 0;
 }