diff --git a/debian/config/config b/debian/config/config
index 0958947ef..c33ecabd6 100644
--- a/debian/config/config
+++ b/debian/config/config
@@ -2265,6 +2265,7 @@ CONFIG_TIMER_STATS=y
 # CONFIG_DEBUG_LOCKING_API_SELFTESTS is not set
 CONFIG_DEBUG_BUGVERBOSE=y
 # CONFIG_DEBUG_VM is not set
+# CONFIG_DEBUG_VIRTUAL is not set
 # CONFIG_DEBUG_WRITECOUNT is not set
 # CONFIG_DEBUG_LIST is not set
 # CONFIG_DEBUG_SG is not set