diff -r 034de6dca38f -r 896cb0d36c1a config/arch/mips.in
--- a/config/arch/mips.in	Sun Sep 12 22:14:04 2010 +0200
+++ b/config/arch/mips.in	Sun May 08 19:02:44 2011 +0200
@@ -1,14 +1,13 @@
 # MIPS specific config options
 
-config ARCH_mips
-    select ARCH_SUPPORTS_32
-    select ARCH_SUPPORTS_64 if EXPERIMENTAL
-    select ARCH_DEFAULT_32
-    select ARCH_USE_MMU
-    select ARCH_SUPPORTS_BOTH_ENDIAN
-    select ARCH_DEFAULT_BE
-    select ARCH_SUPPORT_ARCH
-    select ARCH_SUPPORT_TUNE
-    help
-      The MIPS architecture, as defined by:
-        http://www.mips.com/
+## select ARCH_SUPPORTS_32
+## select ARCH_SUPPORTS_64 if EXPERIMENTAL
+## select ARCH_DEFAULT_32
+## select ARCH_USE_MMU
+## select ARCH_SUPPORTS_BOTH_ENDIAN
+## select ARCH_DEFAULT_BE
+## select ARCH_SUPPORT_ARCH
+## select ARCH_SUPPORT_TUNE
+##
+## help The MIPS architecture, as defined by:
+## help     http://www.mips.com/