From db28f005abe93c858a1a02ec76e8618aec199c48 Mon Sep 17 00:00:00 2001
From: Ben Hutchings <ben@decadent.org.uk>
Date: Wed, 27 Jan 2016 15:10:47 +0000
Subject: [PATCH] input: Disable KEYBOARD_ATKBD

---
 debian/changelog                   | 1 +
 debian/config/armel/config.marvell | 1 +
 2 files changed, 2 insertions(+)

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
 
 ##