diff --git a/arch/Kconfig b/arch/Kconfig
index 4db654dd01c..a3537ece696 100644
--- a/arch/Kconfig
+++ b/arch/Kconfig
@@ -138,6 +138,10 @@ config ARCH_HAVE_ADDRENV
 	bool
 	default n
 
+config ARCH_NEED_ADDRENV_MAPPING
+	bool
+	default n
+
 config ARCH_HAVE_VFORK
 	bool
 	default n
@@ -162,7 +166,7 @@ menuconfig ARCH_ADDRENV
 		Support per-task address environments using the MMU... i.e., support
 		"processes"
 
-if ARCH_ADDRENV && ARCH_HAVE_MMU
+if ARCH_ADDRENV && ARCH_NEED_ADDRENV_MAPPING
 
 config ARCH_TEXT_VBASE
 	hex "Virtual .text base"
diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index a874fdce3d5..0cb3c587edc 100644
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -19,6 +19,7 @@ config ARCH_CHIP_A1X
 	select ARCH_HAVE_SDRAM
 	select BOOT_RUNFROMSDRAM
 	select ARCH_HAVE_ADDRENV if EXPERIMENTAL
+	select ARCH_NEED_ADDRENV_MAPPING if EXPERIMENTAL
 	---help---
 		Allwinner A1X family: A10, A10S (A12), A13 (ARM Cortex-A8)
 
@@ -137,6 +138,7 @@ config ARCH_CHIP_SAMA5
 	select ARCH_HAVE_I2CRESET
 	select ARCH_HAVE_TICKLESS
 	select ARCH_HAVE_ADDRENV if EXPERIMENTAL
+	select ARCH_NEED_ADDRENV_MAPPING if EXPERIMENTAL
 	---help---
 		Atmel SAMA5 (ARM Cortex-A5)