diff --git a/debian/config/config b/debian/config/config
index 4c82119a2..e48c152ac 100644
--- a/debian/config/config
+++ b/debian/config/config
@@ -266,6 +266,10 @@ CONFIG_FIREWIRE=m
 CONFIG_FIREWIRE_OHCI=m
 CONFIG_FIREWIRE_SBP2=m
 
+##
+## file: drivers/gpio/Kconfig
+##
+# CONFIG_GPIOLIB is not set
 
 ##
 ## file: drivers/hid/Kconfig