diff --git a/config/arch/arm.in b/config/arch/arm.in
index f1b0c8f1..dc31a5cf 100644
--- a/config/arch/arm.in
+++ b/config/arch/arm.in
@@ -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