nommu: Enables to select noMMU mode

MMU option is now selectable.
Signed-off-by: Hyok S. Choi <hyok.choi@samsung.com>

arch/arm/Kconfig

@@ -29,10 +29,6 @@ config GENERIC_TIME
 	bool
 	default n
 
-config MMU
-	bool
-	default y
-
 config NO_IOPORT
 	bool
 	default n
@@ -141,6 +137,13 @@ source "init/Kconfig"
 
 menu "System Type"
 
+config MMU
+	bool "MMU-based Paged Memory Management Support"
+	default y
+	help
+	  Select if you want MMU-based virtualised addressing space
+	  support by paged memory management. If unsure, say 'Y'.
+
 choice
 	prompt "ARM system type"
 	default ARCH_VERSATILE