Just to be sure we know what we're looking at, could you run 'sudo /lib/udev/findkeyboards' and 'sudo /lib/udev/keymap input/event6'?
BTW, maybe this goes without saying, but the input device numbers are not static; they can be different across every reboot. So perhaps we should re-check the output of 'lsinput' as well.
Just to be sure we know what we're looking at, could you run 'sudo /lib/udev/ findkeyboards' and 'sudo /lib/udev/keymap input/event6'?
BTW, maybe this goes without saying, but the input device numbers are not static; they can be different across every reboot. So perhaps we should re-check the output of 'lsinput' as well.