diff --git a/debian/config/armel/config.iop32x b/debian/config/armel/config.iop32x
index 319f860ab..15ad64118 100644
--- a/debian/config/armel/config.iop32x
+++ b/debian/config/armel/config.iop32x
@@ -658,9 +658,7 @@ CONFIG_WATCHDOG=y
 ##
 ## file: fs/Kconfig.binfmt
 ##
-CONFIG_BINFMT_ELF=y
 CONFIG_BINFMT_AOUT=m
-CONFIG_BINFMT_MISC=m
 
 ##
 ## file: fs/partitions/Kconfig
diff --git a/debian/config/armel/config.ixp4xx b/debian/config/armel/config.ixp4xx
index b27d594c5..ab8fdd0bd 100644
--- a/debian/config/armel/config.ixp4xx
+++ b/debian/config/armel/config.ixp4xx
@@ -737,9 +737,7 @@ CONFIG_IXP4XX_WATCHDOG=m
 ##
 ## file: fs/Kconfig.binfmt
 ##
-CONFIG_BINFMT_ELF=y
 CONFIG_BINFMT_AOUT=m
-CONFIG_BINFMT_MISC=m
 
 ##
 ## file: fs/partitions/Kconfig
diff --git a/debian/config/armel/config.kirkwood b/debian/config/armel/config.kirkwood
index 20151f111..f148bb6f4 100644
--- a/debian/config/armel/config.kirkwood
+++ b/debian/config/armel/config.kirkwood
@@ -534,9 +534,7 @@ CONFIG_WATCHDOG=y
 ##
 ## file: fs/Kconfig.binfmt
 ##
-CONFIG_BINFMT_ELF=y
 CONFIG_BINFMT_AOUT=m
-CONFIG_BINFMT_MISC=m
 
 ##
 ## file: fs/jffs2/Kconfig
diff --git a/debian/config/armel/config.orion5x b/debian/config/armel/config.orion5x
index 8dabcf911..c73150de4 100644
--- a/debian/config/armel/config.orion5x
+++ b/debian/config/armel/config.orion5x
@@ -519,9 +519,7 @@ CONFIG_WATCHDOG=y
 ##
 ## file: fs/Kconfig.binfmt
 ##
-CONFIG_BINFMT_ELF=y
 CONFIG_BINFMT_AOUT=m
-CONFIG_BINFMT_MISC=m
 
 ##
 ## file: fs/partitions/Kconfig
diff --git a/debian/config/mips/config.4kc-malta b/debian/config/mips/config.4kc-malta
index 4cfdc4300..82cb2ac8a 100644
--- a/debian/config/mips/config.4kc-malta
+++ b/debian/config/mips/config.4kc-malta
@@ -1335,12 +1335,6 @@ CONFIG_PCIPCWATCHDOG=m
 CONFIG_WDTPCI=m
 CONFIG_USBPCWATCHDOG=m
 
-##
-## file: fs/Kconfig.binfmt
-##
-CONFIG_BINFMT_ELF=y
-CONFIG_BINFMT_MISC=m
-
 ##
 ## file: fs/cramfs/Kconfig
 ##
diff --git a/debian/config/mips/config.5kc-malta b/debian/config/mips/config.5kc-malta
index 240a456d3..ca50894e0 100644
--- a/debian/config/mips/config.5kc-malta
+++ b/debian/config/mips/config.5kc-malta
@@ -1635,12 +1635,6 @@ CONFIG_PCIPCWATCHDOG=m
 CONFIG_WDTPCI=m
 CONFIG_USBPCWATCHDOG=m
 
-##
-## file: fs/Kconfig.binfmt
-##
-CONFIG_BINFMT_ELF=y
-CONFIG_BINFMT_MISC=m
-
 ##
 ## file: fs/cramfs/Kconfig
 ##
diff --git a/debian/config/mips/config.r4k-ip22 b/debian/config/mips/config.r4k-ip22
index 503dfc091..96464a755 100644
--- a/debian/config/mips/config.r4k-ip22
+++ b/debian/config/mips/config.r4k-ip22
@@ -489,12 +489,6 @@ CONFIG_INDYDOG=m
 # CONFIG_MIXCOMWD is not set
 # CONFIG_WDT is not set
 
-##
-## file: fs/Kconfig.binfmt
-##
-CONFIG_BINFMT_ELF=y
-CONFIG_BINFMT_MISC=m
-
 ##
 ## file: fs/cramfs/Kconfig
 ##
diff --git a/debian/config/mips/config.r5k-ip32 b/debian/config/mips/config.r5k-ip32
index e64cc3052..64d2e9994 100644
--- a/debian/config/mips/config.r5k-ip32
+++ b/debian/config/mips/config.r5k-ip32
@@ -609,12 +609,6 @@ CONFIG_WATCHDOG=y
 # CONFIG_PCIPCWATCHDOG is not set
 # CONFIG_WDTPCI is not set
 
-##
-## file: fs/Kconfig.binfmt
-##
-CONFIG_BINFMT_ELF=y
-CONFIG_BINFMT_MISC=m
-
 ##
 ## file: fs/cramfs/Kconfig
 ##
diff --git a/debian/config/mips/config.sb1-bcm91250a b/debian/config/mips/config.sb1-bcm91250a
index 4f3f444c7..28b393855 100644
--- a/debian/config/mips/config.sb1-bcm91250a
+++ b/debian/config/mips/config.sb1-bcm91250a
@@ -788,12 +788,6 @@ CONFIG_WATCHDOG=y
 # CONFIG_WDTPCI is not set
 # CONFIG_USBPCWATCHDOG is not set
 
-##
-## file: fs/Kconfig.binfmt
-##
-CONFIG_BINFMT_ELF=y
-CONFIG_BINFMT_MISC=m
-
 ##
 ## file: fs/cramfs/Kconfig
 ##
diff --git a/debian/config/mips/config.sb1a-bcm91480b b/debian/config/mips/config.sb1a-bcm91480b
index 73ea95b66..e3e6c2b48 100644
--- a/debian/config/mips/config.sb1a-bcm91480b
+++ b/debian/config/mips/config.sb1a-bcm91480b
@@ -818,12 +818,6 @@ CONFIG_WATCHDOG=y
 # CONFIG_WDTPCI is not set
 # CONFIG_USBPCWATCHDOG is not set
 
-##
-## file: fs/Kconfig.binfmt
-##
-CONFIG_BINFMT_ELF=y
-CONFIG_BINFMT_MISC=m
-
 ##
 ## file: fs/cramfs/Kconfig
 ##
diff --git a/debian/config/mipsel/config.r5k-cobalt b/debian/config/mipsel/config.r5k-cobalt
index da3adf778..e58ab18c3 100644
--- a/debian/config/mipsel/config.r5k-cobalt
+++ b/debian/config/mipsel/config.r5k-cobalt
@@ -737,12 +737,6 @@ CONFIG_FB_COBALT=m
 ##
 # CONFIG_WATCHDOG is not set
 
-##
-## file: fs/Kconfig.binfmt
-##
-CONFIG_BINFMT_ELF=y
-CONFIG_BINFMT_MISC=m
-
 ##
 ## file: fs/cramfs/Kconfig
 ##