diff -r d43c250051c7 -r 900515add745 arch/arm/config.in
--- a/arch/arm/config.in	Mon Sep 01 17:54:39 2008 +0000
+++ b/arch/arm/config.in	Fri Oct 03 12:30:29 2008 +0000
@@ -13,8 +13,7 @@
 
 config ARCH_ARM_EABI
     bool
-    prompt "Use EABI (EXPERIMENTAL)"
-    depends on EXPERIMENTAL
+    prompt "Use EABI"
     default n
     help
       Set up the toolchain so that it generates EABI-compliant binaries.