diff --git a/debian/config/config b/debian/config/config
index 55bc42d41..addf22a7a 100644
--- a/debian/config/config
+++ b/debian/config/config
@@ -3672,6 +3672,7 @@ CONFIG_TIMER_STATS=y
 # CONFIG_DEBUG_HIGHMEM is not set
 CONFIG_DEBUG_BUGVERBOSE=y
 # CONFIG_DEBUG_INFO is not set
+# CONFIG_DEBUG_INFO_REDUCED is not set
 # CONFIG_DEBUG_VM is not set
 # CONFIG_DEBUG_VIRTUAL is not set
 # CONFIG_DEBUG_WRITECOUNT is not set