diff -r 1fd08b889aa3 -r 9c0766bed0d2 config/arch/arm.in
--- a/config/arch/arm.in	Wed Oct 21 18:08:31 2009 +0200
+++ b/config/arch/arm.in	Wed Oct 21 18:22:05 2009 +0200
@@ -1,7 +1,8 @@
 # ARM specific configuration file
 
 config ARCH_arm
-    select ARCH_USE_MMU
+    select ARCH_SUPPORTS_BOTH_MMU
+    select ARCH_DEFAULT_HAS_MMU
     select ARCH_SUPPORTS_BOTH_ENDIAN
     select ARCH_DEFAULT_LE
     select ARCH_SUPPORT_ARCH