diff --git a/debian/changelog b/debian/changelog
index f20ecf967..1dbbcaaba 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -23,6 +23,7 @@ linux (3.16-1~exp1) UNRELEASED; urgency=medium
   * [armhf] touchscreen: Enable TOUCHSCREEN_SUN4I as module (Closes: #757086)
   * [armel/kirkwood] Change IPV6 to module to reduce kernel image size
   * [!x86] Disable USELIB, only needed by libc5
+  * [armel] Disable BINFMT_AOUT
 
  -- Aurelien Jarno <aurel32@debian.org>  Thu, 31 Jul 2014 20:56:06 +0200
 
diff --git a/debian/config/armel/config.ixp4xx b/debian/config/armel/config.ixp4xx
index 8d618b2bb..977c0449c 100644
--- a/debian/config/armel/config.ixp4xx
+++ b/debian/config/armel/config.ixp4xx
@@ -651,11 +651,6 @@ CONFIG_IXP4XX_WATCHDOG=m
 # CONFIG_WDTPCI is not set
 # CONFIG_USBPCWATCHDOG is not set
 
-##
-## file: fs/Kconfig.binfmt
-##
-CONFIG_BINFMT_AOUT=m
-
 ##
 ## file: init/Kconfig
 ##
diff --git a/debian/config/armel/config.kirkwood b/debian/config/armel/config.kirkwood
index 4028945c8..0fc35a160 100644
--- a/debian/config/armel/config.kirkwood
+++ b/debian/config/armel/config.kirkwood
@@ -591,11 +591,6 @@ CONFIG_FB=m
 ##
 CONFIG_ORION_WATCHDOG=m
 
-##
-## file: fs/Kconfig.binfmt
-##
-CONFIG_BINFMT_AOUT=m
-
 ##
 ## file: fs/jffs2/Kconfig
 ##
diff --git a/debian/config/armel/config.mv78xx0 b/debian/config/armel/config.mv78xx0
index 5cb3b8d02..130c5bbe6 100644
--- a/debian/config/armel/config.mv78xx0
+++ b/debian/config/armel/config.mv78xx0
@@ -519,11 +519,6 @@ CONFIG_FB=m
 ##
 CONFIG_ORION_WATCHDOG=m
 
-##
-## file: fs/Kconfig.binfmt
-##
-CONFIG_BINFMT_AOUT=m
-
 ##
 ## file: mm/Kconfig
 ##
diff --git a/debian/config/armel/config.orion5x b/debian/config/armel/config.orion5x
index fe82cb517..3bca592f7 100644
--- a/debian/config/armel/config.orion5x
+++ b/debian/config/armel/config.orion5x
@@ -533,11 +533,6 @@ CONFIG_FB=m
 ##
 CONFIG_ORION_WATCHDOG=m
 
-##
-## file: fs/Kconfig.binfmt
-##
-CONFIG_BINFMT_AOUT=m
-
 ##
 ## file: mm/Kconfig
 ##