CONFIG_ARCH_MIGHT_HAVE_PC_SERIO (not configurable)

configname: CONFIG_ARCH_MIGHT_HAVE_PC_SERIO

Linux Kernel Configuration
└─>Device Drivers
└─>Input device support
└─>Hardware I/O ports
└─>ARCH_MIGHT_HAVE_PC_SERIO
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Select this config option from the architecture Kconfig if
the architecture might use a PC serio device (i8042) to
communicate with keyboard, mouse, etc.