kernel_config: enable KEYBOARD_ATKBD for x86 and dependencies
This is needed in order to enable support for CTRL_ALT_DEL
Not supported on arm.
@@ -699,7 +699,6 @@ CONFIG_PCI_LABEL=y
# CONFIG_PCI_ENDPOINT is not set
CONFIG_ISA_DMA_API=y
# CONFIG_PCCARD is not set
-# CONFIG_RAPIDIO_ENUM_BASIC is not set
# CONFIG_X86_SYSFB is not set
#
@@ -1386,7 +1385,7 @@ CONFIG_INPUT_FF_MEMLESS=y
# Input Device Drivers
#
CONFIG_INPUT_KEYBOARD=y
-# CONFIG_KEYBOARD_ATKBD is not set
+CONFIG_KEYBOARD_ATKBD=y
# CONFIG_KEYBOARD_LKKBD is not set
# CONFIG_KEYBOARD_NEWTON is not set
# CONFIG_KEYBOARD_OPENCORES is not set
@@ -1404,13 +1403,23 @@ CONFIG_INPUT_MISC=y
# CONFIG_INPUT_UINPUT is not set
# CONFIG_INPUT_ADXL34X is not set
# CONFIG_INPUT_CMA3000 is not set
+# CONFIG_INPUT_IDEAPAD_SLIDEBAR is not set
# CONFIG_RMI4_CORE is not set
#
# Hardware I/O ports
#
-# CONFIG_SERIO is not set
+CONFIG_SERIO=y
CONFIG_ARCH_MIGHT_HAVE_PC_SERIO=y
+CONFIG_SERIO_I8042=y
+CONFIG_SERIO_SERPORT=y
+# CONFIG_SERIO_CT82C710 is not set
+CONFIG_SERIO_LIBPS2=y
+# CONFIG_SERIO_RAW is not set
+# CONFIG_SERIO_ALTERA_PS2 is not set
+# CONFIG_SERIO_PS2MULT is not set
+# CONFIG_SERIO_ARC_PS2 is not set
+# CONFIG_USERIO is not set
# CONFIG_GAMEPORT is not set
#
