Don't offer non-MMU based CPUs for selection when CONFIG_MMU is
set.
Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>
# ARM7TDMI
config CPU_ARM7TDMI
bool "Support ARM7TDMI processor"
+ depends on !MMU
select CPU_32v4T
select CPU_ABRT_LV4T
select CPU_CACHE_V4
# ARM740T
config CPU_ARM740T
bool "Support ARM740T processor" if ARCH_INTEGRATOR
+ depends on !MMU
select CPU_32v4T
select CPU_ABRT_LV4T
select CPU_CACHE_V3 # although the core is v4t
# ARM9TDMI
config CPU_ARM9TDMI
bool "Support ARM9TDMI processor"
+ depends on !MMU
select CPU_32v4T
select CPU_ABRT_EV4T
select CPU_CACHE_V4
# ARM940T
config CPU_ARM940T
bool "Support ARM940T processor" if ARCH_INTEGRATOR
+ depends on !MMU
select CPU_32v4T
select CPU_ABRT_EV4T
select CPU_CACHE_VIVT
# ARM946E-S
config CPU_ARM946E
bool "Support ARM946E-S processor" if ARCH_INTEGRATOR
+ depends on !MMU
select CPU_32v5
select CPU_ABRT_EV5T
select CPU_CACHE_VIVT