diff --git a/debian/config/config b/debian/config/config
index be7060bfa..6575c14e7 100644
--- a/debian/config/config
+++ b/debian/config/config
@@ -854,7 +854,7 @@ CONFIG_HID_SENSOR_GYRO_3D=m
 # CONFIG_CM32181 is not set
 # CONFIG_CM36651 is not set
 # CONFIG_GP2AP020A00F is not set
-# CONFIG_TCS3472 it not set
+# CONFIG_TCS3472 is not set
 # CONFIG_SENSORS_TSL2563 is not set
 # CONFIG_TSL4531 is not set
 # CONFIG_VCNL4000 is not set
diff --git a/debian/config/hppa/config b/debian/config/hppa/config
index 33f0e9928..cadbad078 100644
--- a/debian/config/hppa/config
+++ b/debian/config/hppa/config
@@ -127,7 +127,7 @@ CONFIG_KEYBOARD_HIL=m
 ##
 CONFIG_INPUT_MISC=y
 # CONFIG_INPUT_UINPUT is not set
-# CONFIG_HP_SDC_RTC=m
+# CONFIG_HP_SDC_RTC is not set
 
 ##
 ## file: drivers/input/mouse/Kconfig
diff --git a/debian/config/kernelarch-mips/config.4kc-malta b/debian/config/kernelarch-mips/config.4kc-malta
index 56ba4df1e..f7ec3ae35 100644
--- a/debian/config/kernelarch-mips/config.4kc-malta
+++ b/debian/config/kernelarch-mips/config.4kc-malta
@@ -296,7 +296,7 @@ CONFIG_NATSEMI=m
 ##
 CONFIG_8139CP=m
 CONFIG_8139TOO=m
-CONFIG_8139TOO_PIO is not set
+# CONFIG_8139TOO_PIO is not set
 CONFIG_8139TOO_TUNE_TWISTER=y
 CONFIG_8139TOO_8129=y
 
diff --git a/debian/config/kernelarch-mips/config.5kc-malta b/debian/config/kernelarch-mips/config.5kc-malta
index dabe9c83a..2a459981e 100644
--- a/debian/config/kernelarch-mips/config.5kc-malta
+++ b/debian/config/kernelarch-mips/config.5kc-malta
@@ -298,7 +298,7 @@ CONFIG_NATSEMI=m
 ##
 CONFIG_8139CP=m
 CONFIG_8139TOO=m
-CONFIG_8139TOO_PIO is not set
+# CONFIG_8139TOO_PIO is not set
 CONFIG_8139TOO_TUNE_TWISTER=y
 CONFIG_8139TOO_8129=y