diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index 57fa388a819..b991a348c08 100644
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -299,14 +299,6 @@ config ARCH_LOWVECTORS
 	---help---
 		Support ARM vectors in low memory.
 
-config PGTABLE_VADDR
-	hex "Page table virtual address"
-	default 0x0
-	depends on ARCH_HAVE_MMU
-	---help---
-		Page table virtual address (might be defined in the board.h file).  Not
-		applicable to all architectures.
-
 config ARCH_ROMPGTABLE
 	bool "ROM page table"
 	default n
diff --git a/arch/arm/src/lpc31xx/lpc31_memorymap.h b/arch/arm/src/lpc31xx/lpc31_memorymap.h
index 49be389c97c..aa5ac817888 100644
--- a/arch/arm/src/lpc31xx/lpc31_memorymap.h
+++ b/arch/arm/src/lpc31xx/lpc31_memorymap.h
@@ -265,7 +265,7 @@
  * if the vectors are at 0x0000:0000
  *
  * Or... the user may specify the address of the page table explicitly be defining
- * CONFIG_PGTABLE_VADDR and CONFIG_PGTABLE_PADDR in the configuration or board.h file.
+ * PGTABLE_BASE_VADDR and PGTABLE_BASE_PADDR in the board.h file.
  */
 
 #undef PGTABLE_IN_HIGHSRAM
diff --git a/arch/arm/src/sama5/chip/sama5d3x_memorymap.h b/arch/arm/src/sama5/chip/sama5d3x_memorymap.h
index e80c58032e9..5a8d23fae6e 100644
--- a/arch/arm/src/sama5/chip/sama5d3x_memorymap.h
+++ b/arch/arm/src/sama5/chip/sama5d3x_memorymap.h
@@ -558,7 +558,7 @@
  *    case.
  *
  * Or... the user may specify the address of the page table explicitly be defining
- * CONFIG_PGTABLE_VADDR and CONFIG_PGTABLE_PADDR in the configuration or board.h file.
+ * PGTABLE_BASE_VADDR and PGTABLE_BASE_PADDR in the board.h file.
  */
 
 #undef PGTABLE_IN_HIGHSRAM