diff --git a/debian/changelog b/debian/changelog
index 878f58fbc..9fb7155f7 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -50,6 +50,8 @@ linux (3.9.5-1) UNRELEASED; urgency=low
   * [s390] Add pgste to ptep_modify_prot_start()
   * [s390] Enable PCI, PCI and USB drivers
   * [powerpc] Fix build error in stable/3.9
+  * [armel/iop32x,armel/ixp4xx] Disable OABI_COMPAT, PCI_QUIRKS to reduce
+    kernel size (fixes FTBFS)
 
  -- Ben Hutchings <ben@decadent.org.uk>  Sat, 08 Jun 2013 15:25:11 +0100
 
diff --git a/debian/config/armel/config.iop32x b/debian/config/armel/config.iop32x
index 64833fda9..7c3f303fb 100644
--- a/debian/config/armel/config.iop32x
+++ b/debian/config/armel/config.iop32x
@@ -22,15 +22,14 @@ CONFIG_ARCH_IOP32X=y
 # CONFIG_ARCH_OMAP is not set
 ## end choice
 CONFIG_PCI=y
+#. This also disables FP emulation, which saves over 20K
+# CONFIG_OABI_COMPAT is not set
 CONFIG_ZBOOT_ROM_TEXT=0x0
 CONFIG_ZBOOT_ROM_BSS=0x0
 CONFIG_CMDLINE=""
 # CONFIG_XIP_KERNEL is not set
 CONFIG_KEXEC=y
 CONFIG_ATAGS_PROC=y
-CONFIG_FPE_NWFPE=y
-# CONFIG_FPE_NWFPE_XP is not set
-# CONFIG_FPE_FASTFPE is not set
 # CONFIG_ARTHUR is not set
 
 ##
@@ -482,6 +481,12 @@ CONFIG_TMD_HERMES=m
 CONFIG_NORTEL_HERMES=m
 CONFIG_PCI_HERMES=m
 
+##
+## file: drivers/pci/Kconfig
+##
+#. Saves about 17K, and none of the quirks are likely to be needed
+# CONFIG_PCI_QUIRKS is not set
+
 ##
 ## file: drivers/pcmcia/Kconfig
 ##
@@ -586,6 +591,7 @@ CONFIG_BINFMT_AOUT=m
 ##
 ## file: init/Kconfig
 ##
+# CONFIG_AUDITSYSCALL is not set
 CONFIG_LOG_BUF_SHIFT=14
 CONFIG_NAMESPACES=y
 CONFIG_UTS_NS=y
diff --git a/debian/config/armel/config.ixp4xx b/debian/config/armel/config.ixp4xx
index a2616ed8e..d7c8895b9 100644
--- a/debian/config/armel/config.ixp4xx
+++ b/debian/config/armel/config.ixp4xx
@@ -22,15 +22,14 @@ CONFIG_ARCH_IXP4XX=y
 # CONFIG_ARCH_OMAP is not set
 ## end choice
 CONFIG_PCI=y
+#. This also disables FP emulation, which saves over 20K
+# CONFIG_OABI_COMPAT is not set
 CONFIG_ZBOOT_ROM_TEXT=0x0
 CONFIG_ZBOOT_ROM_BSS=0x0
 CONFIG_CMDLINE="console=ttyS0,115200"
 # CONFIG_XIP_KERNEL is not set
 CONFIG_KEXEC=y
 CONFIG_ATAGS_PROC=y
-CONFIG_FPE_NWFPE=y
-# CONFIG_FPE_NWFPE_XP is not set
-# CONFIG_FPE_FASTFPE is not set
 # CONFIG_ARTHUR is not set
 
 ##
@@ -560,6 +559,12 @@ CONFIG_TMD_HERMES=m
 CONFIG_NORTEL_HERMES=m
 CONFIG_PCI_HERMES=m
 
+##
+## file: drivers/pci/Kconfig
+##
+#. Saves about 17K, and none of the quirks are likely to be needed
+# CONFIG_PCI_QUIRKS is not set
+
 ##
 ## file: drivers/pcmcia/Kconfig
 ##
@@ -720,6 +725,7 @@ CONFIG_BINFMT_AOUT=m
 ##
 ## file: init/Kconfig
 ##
+# CONFIG_AUDITSYSCALL is not set
 CONFIG_LOG_BUF_SHIFT=14
 CONFIG_NAMESPACES=y
 CONFIG_UTS_NS=y