[U-Boot] [PATCH v3 06/12] input: Add a Kconfig option for the i8042 keyboard