diff --git a/debian/config/config b/debian/config/config
index 487056d22..e6e16a336 100644
--- a/debian/config/config
+++ b/debian/config/config
@@ -4379,7 +4379,6 @@ CONFIG_IP_DCCP_CCID3_RTO=100
 CONFIG_IP_NF_MATCH_ADDRTYPE=m
 # CONFIG_KMEMTRACE is not set
 CONFIG_LBD=y
-# CONFIG_LOCK_KERNEL is not set
 # CONFIG_MAC80211_DEBUG_PACKET_ALIGNMENT is not set
 CONFIG_MAGIC_SYSRQ_DEFAULT_MASK=0x01b6
 # CONFIG_OTUS is not set