diff --git a/debian/changelog b/debian/changelog
index af808ca99..ce014f68e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -30,6 +30,7 @@ linux (4.4.1-1~exp1) UNRELEASED; urgency=medium
       for this machine
       + Disable MACH_DNS323
       + Change MTD_CFI_AMDSTD from built-in to module
+    - input: Disable KEYBOARD_ATKBD
 
  -- Ian Campbell <ijc@debian.org>  Sat, 23 Jan 2016 08:23:05 +0000
 
diff --git a/debian/config/armel/config.marvell b/debian/config/armel/config.marvell
index d65dd06ca..ab119114f 100644
--- a/debian/config/armel/config.marvell
+++ b/debian/config/armel/config.marvell
@@ -227,6 +227,7 @@ CONFIG_INPUT_JOYSTICK=y
 ##
 ## file: drivers/input/keyboard/Kconfig
 ##
+# CONFIG_KEYBOARD_ATKBD is not set
 CONFIG_KEYBOARD_GPIO=m
 
 ##