diff --git a/debian/config/config b/debian/config/config
index aac147b4e..d60d0f705 100644
--- a/debian/config/config
+++ b/debian/config/config
@@ -384,6 +384,7 @@ CONFIG_NSC_GPIO=m
 # CONFIG_RAW_DRIVER is not set
 CONFIG_HANGCHECK_TIMER=m
 CONFIG_TELCLOCK=m
+CONFIG_DEVPORT=y
 
 ##
 ## file: drivers/char/hw_random/Kconfig