diff --git a/patches/debian-armmp b/patches/debian-armmp
index 1dd81f1f0e920214c8ff42c639d6d2e5b3c46e37..1f81f0f7740e9c54447319ed1a8efa1a36ee7631 100644
--- a/patches/debian-armmp
+++ b/patches/debian-armmp
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/arm 3.13.4 Kernel Configuration
+# Linux/arm 3.13.5 Kernel Configuration
 #
 CONFIG_ARM=y
 CONFIG_MIGHT_HAVE_PCI=y
@@ -2468,7 +2468,16 @@ CONFIG_RTLWIFI_PCI=m
 CONFIG_RTLWIFI_USB=m
 # CONFIG_RTLWIFI_DEBUG is not set
 CONFIG_RTL8192C_COMMON=m
-# CONFIG_WL_TI is not set
+CONFIG_WL_TI=y
+CONFIG_WL1251=m
+CONFIG_WL1251_SPI=m
+CONFIG_WL1251_SDIO=m
+CONFIG_WL12XX=m
+CONFIG_WL18XX=m
+CONFIG_WLCORE=m
+CONFIG_WLCORE_SPI=m
+CONFIG_WLCORE_SDIO=m
+CONFIG_WILINK_PLATFORM_DATA=y
 CONFIG_ZD1211RW=m
 # CONFIG_ZD1211RW_DEBUG is not set
 # CONFIG_MWIFIEX is not set
@@ -4255,7 +4264,7 @@ CONFIG_HID_DRAGONRISE=m
 CONFIG_DRAGONRISE_FF=y
 CONFIG_HID_EMS_FF=m
 CONFIG_HID_ELECOM=m
-# CONFIG_HID_ELO is not set
+CONFIG_HID_ELO=m
 CONFIG_HID_EZKEY=y
 CONFIG_HID_HOLTEK=m
 CONFIG_HOLTEK_FF=y
@@ -4310,7 +4319,7 @@ CONFIG_HID_THRUSTMASTER=m
 CONFIG_THRUSTMASTER_FF=y
 CONFIG_HID_WACOM=m
 CONFIG_HID_WIIMOTE=m
-# CONFIG_HID_XINMO is not set
+CONFIG_HID_XINMO=m
 CONFIG_HID_ZEROPLUS=m
 CONFIG_ZEROPLUS_FF=y
 CONFIG_HID_ZYDACRON=m
diff --git a/tools/config-checker.sh b/tools/config-checker.sh
index 2e224db27cfbac895f9b2cbf6e2f37a7a04fab7b..da8ef08d195f2ac3657272a918b456ea07b30c01 100755
--- a/tools/config-checker.sh
+++ b/tools/config-checker.sh
@@ -865,26 +865,6 @@ config="CONFIG_P54_SPI"
 check_config_module
 config="CONFIG_P54_SPI_DEFAULT_EEPROM"
 check_config_disable
-config="CONFIG_WL_TI"
-check_config_builtin
-config="CONFIG_WL1251"
-check_config_module
-config="CONFIG_WL1251_SPI"
-check_config_module
-config="CONFIG_WL1251_SDIO"
-check_config_module
-config="CONFIG_WL12XX"
-check_config_module
-config="CONFIG_WL18XX"
-check_config_module
-config="CONFIG_WLCORE"
-check_config_module
-config="CONFIG_WLCORE_SPI"
-check_config_module
-config="CONFIG_WLCORE_SDIO"
-check_config_module
-config="CONFIG_WILINK_PLATFORM_DATA"
-check_config_builtin
 config="CONFIG_MWIFIEX"
 check_config_module
 config="CONFIG_MWIFIEX_SDIO"
@@ -1772,14 +1752,10 @@ check_config_builtin
 #
 config="CONFIG_HID_APPLEIR"
 check_config_module
-config="CONFIG_HID_ELO"
-check_config_module
 config="CONFIG_HID_PICOLCD_LCD"
 check_config_builtin
 config="CONFIG_SONY_FF"
 check_config_builtin
-config="CONFIG_HID_XINMO"
-check_config_module
 
 #
 # I2C HID support