diff -r d43c250051c7 -r db6a82f4b930 arch/arm/config.in
--- a/arch/arm/config.in	Mon Sep 01 17:54:39 2008 +0000
+++ b/arch/arm/config.in	Mon Sep 15 21:03:24 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.