diff --git a/debian/changelog b/debian/changelog
index b1bb24d56..c6fa486b0 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -9,6 +9,7 @@ linux (3.10.1-2) UNRELEASED; urgency=low
   * be2net: Fix to avoid hardware workaround when not needed
   * iwlwifi: Update 3160 and 7260 support to work with production firmware
   * rtlwifi: rtl8723ae: Fix typo in firmware names
+  * [x86] Change INTEL_MEI_ME back to a module (Closes: #717383)
 
  -- Arnaud Patard <arnaud.patard@rtp-net.org>  Tue, 16 Jul 2013 08:19:29 +0200
 
diff --git a/debian/config/kernelarch-x86/config b/debian/config/kernelarch-x86/config
index 1e9b2a7b2..c596ec068 100644
--- a/debian/config/kernelarch-x86/config
+++ b/debian/config/kernelarch-x86/config
@@ -738,7 +738,7 @@ CONFIG_PCH_PHUB=m
 ## file: drivers/misc/mei/Kconfig
 ##
 CONFIG_INTEL_MEI=m
-CONFIG_INTEL_MEI_ME=y
+CONFIG_INTEL_MEI_ME=m
 
 ##
 ## file: drivers/misc/vmw_vmci/Kconfig