diff -r fd6ad5721f77 -r 312fe9ff8370 config/toolchain.in
--- a/config/toolchain.in	Tue Apr 17 22:24:42 2007 +0000
+++ b/config/toolchain.in	Mon May 07 16:10:17 2007 +0000
@@ -69,13 +69,6 @@
       You shouldn't need to enter anything here, unless you plan to manually
       call the tools (autotools-based ./configure will use the standard name).
 
-config ARCH
-    string
-    default "arm"     if ARCH_ARM
-    default "mips"    if ARCH_MIPS
-    default "x86"     if ARCH_x86
-    default "x86_64"  if ARCH_x86_64
-
 comment "Toolchain type"
 
 choice