diff --git a/arch/arc/Kconfig b/arch/arc/Kconfig
index 1b0483c51cc1..07612342d686 100644
--- a/arch/arc/Kconfig
+++ b/arch/arc/Kconfig
@@ -292,7 +292,6 @@ config ARC_PAGE_SIZE_16K
 
 config ARC_PAGE_SIZE_4K
 	bool "4KB"
-	depends on ARC_MMU_V3 || ARC_MMU_V4
 
 endchoice
 
@@ -469,7 +468,8 @@ config HIGHMEM
 
 config ARC_HAS_PAE40
 	bool "Support for the 40-bit Physical Address Extension"
-	depends on ISA_ARCV2
+	depends on MMU_V4
+	depends on !ARC_PAGE_SIZE_4K
 	select HIGHMEM
 	select PHYS_ADDR_T_64BIT
 	help