diff -r 900515add745 -r fe3eda71a9d0 arch/arm/config.in
--- a/arch/arm/config.in	Fri Oct 03 12:30:29 2008 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,26 +0,0 @@
-# ARM specific configuration file
-
-config ARCH_arm
-    select ARCH_SUPPORTS_BOTH_ENDIAN
-    select ARCH_DEFAULT_LE
-    select ARCH_SUPPORT_ARCH
-    select ARCH_SUPPORT_CPU
-    select ARCH_SUPPORT_TUNE
-    select ARCH_SUPPORT_FPU
-    help
-      The ARM architecture, as defined by:
-        http://www.arm.com/
-
-config ARCH_ARM_EABI
-    bool
-    prompt "Use EABI"
-    default n
-    help
-      Set up the toolchain so that it generates EABI-compliant binaries.
-
-config ARCH_ARM_ABI_OK
-    bool
-    default y
-    depends on ! ARCH_ARM_EABI
-    select ARCH_SUPPORT_ABI
-