kernel/baseconfig/CONFIG_SERIO_I8042