diff --git a/debian/config/config b/debian/config/config
index 9efea68dc..1e299f3af 100644
--- a/debian/config/config
+++ b/debian/config/config
@@ -2682,6 +2682,7 @@ CONFIG_MOXA_SMARTIO=m
 CONFIG_SYNCLINK_GT=m
 CONFIG_NOZOMI=m
 CONFIG_N_GSM=m
+# CONFIG_TRACE_SINK is not set
 
 ##
 ## file: drivers/tty/serial/Kconfig
@@ -2694,10 +2695,14 @@ CONFIG_SERIAL_8250_BOCA=m
 CONFIG_SERIAL_8250_HUB6=m
 CONFIG_SERIAL_8250_MCA=m
 CONFIG_SERIAL_MAX3100=m
+# CONFIG_SERIAL_MAX3107 is not set
 CONFIG_SERIAL_MFD_HSU=m
 # CONFIG_SERIAL_TIMBERDALE is not set
 # CONFIG_SERIAL_ALTERA_JTAGUART is not set
 # CONFIG_SERIAL_ALTERA_UART is not set
+# CONFIG_SERIAL_IFX6X60 is not set
+# CONFIG_SERIAL_PCH_UART is not set
+# CONFIG_SERIAL_XILINX_PS_UART is not set
 
 ##
 ## file: drivers/uio/Kconfig