diff --git a/debian/config/kernelarch-x86/config b/debian/config/kernelarch-x86/config
index 49384f0c7..54b894b34 100644
--- a/debian/config/kernelarch-x86/config
+++ b/debian/config/kernelarch-x86/config
@@ -1874,7 +1874,6 @@ CONFIG_MMIOTRACE=y
 # CONFIG_DEBUG_PER_CPU_MAPS is not set
 # CONFIG_DEBUG_STACKOVERFLOW is not set
 # CONFIG_DEBUG_SHIRQ is not set
-# CONFIG_DEBUG_STRICT_USER_COPY_CHECKS is not set
 # CONFIG_PROVIDE_OHCI1394_DMA_INIT is not set
 CONFIG_MEMTEST=y
 CONFIG_STRICT_DEVMEM=y