diff --git a/config/Config-kernel.in b/config/Config-kernel.in
index dd83cf9e7c051e9efb633a2b036ab306f2cd754f..543b638f65157ed31ae88ab3e4011403506d4f4a 100644
--- a/config/Config-kernel.in
+++ b/config/Config-kernel.in
@@ -134,6 +134,9 @@ config KERNEL_PRINTK_TIME
 	bool "Enable printk timestamps"
 	default y
 
+config KERNEL_PROC_PAGE_MONITOR
+	bool "Enable /proc page monitoring"
+
 config KERNEL_RELAY
 	bool