diff -r 5f4dbeb370e1 -r c0bf2319af08 config/arch/arm.in
--- a/config/arch/arm.in	Sat Sep 11 12:42:22 2010 +0200
+++ b/config/arch/arm.in	Tue Dec 13 23:32:39 2011 +0100
@@ -1,16 +1,15 @@
 # ARM specific configuration file
 
-config ARCH_arm
-    select ARCH_SUPPORTS_32
-    select ARCH_DEFAULT_32
-    select ARCH_SUPPORTS_BOTH_MMU
-    select ARCH_DEFAULT_HAS_MMU
-    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/
+## select ARCH_SUPPORTS_32
+## select ARCH_DEFAULT_32
+## select ARCH_SUPPORTS_BOTH_MMU
+## select ARCH_DEFAULT_HAS_MMU
+## 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:
+## help     http://www.arm.com/