diff --git a/debian/config/config b/debian/config/config
index d52ea26c5..031d1d255 100644
--- a/debian/config/config
+++ b/debian/config/config
@@ -3048,6 +3048,7 @@ CONFIG_SCHED_DEBUG=y
 CONFIG_TIMER_STATS=y
 # CONFIG_DEBUG_OBJECTS is not set
 # CONFIG_DEBUG_SLAB is not set
+# CONFIG_DEBUG_KMEMLEAK is not set
 # CONFIG_DEBUG_RT_MUTEXES is not set
 # CONFIG_RT_MUTEX_TESTER is not set
 # CONFIG_DEBUG_SPINLOCK is not set