input: Add a Kconfig option for the i8042 keyboard