2 files changed, 10 insertions, 3 deletions

diff --git a/arch/x86/Kconfig b/arch/x86/Kconfig
index a8ce13a54764..a12dbb2b93f3 100644
--- a/arch/x86/Kconfig
+++ b/arch/x86/Kconfig
@@ -86,9 +86,6 @@ config GENERIC_GPIO
 config ARCH_MAY_HAVE_PC_FDC
         def_bool y
 
-config DMI
-        def_bool y
-
 config RWSEM_GENERIC_SPINLOCK
         def_bool !X86_XADD
 
@@ -485,6 +482,15 @@ config HPET_EMULATE_RTC
 
 # Mark as embedded because too many people got it wrong.
 # The code disables itself when not needed.
+config DMI
+        default y
+        bool "Enable DMI scanning" if EMBEDDED
+        help
+          Enabled scanning of DMI to identify machine quirks. Say Y
+          here unless you have verified that your setup is not
+          affected by entries in the DMI blacklist. Required by PNP
+          BIOS code.
+
 config GART_IOMMU
         bool "GART IOMMU support" if EMBEDDED
         default y
diff --git a/include/linux/dmi.h b/include/linux/dmi.h
index 325acdf5c462..2a063b64133f 100644
--- a/include/linux/dmi.h
+++ b/include/linux/dmi.h
@@ -90,6 +90,7 @@ static inline int dmi_check_system(const struct dmi_system_id *list) { return 0;
 static inline const char * dmi_get_system_info(int field) { return NULL; }
 static inline const struct dmi_device * dmi_find_device(int type, const char *name,
         const struct dmi_device *from) { return NULL; }
+static inline void dmi_scan_machine(void) { return; }
 static inline int dmi_get_year(int year) { return 0; }
 static inline int dmi_name_in_vendors(const char *s) { return 0; }
 #define dmi_available 0