Hello, I have a problem since I switched to arch linux (I had other problems before, too, but they are fixed now): Some number keys are not working, including half of the keypad, and the 7 key (numpad AND the other one). It seems they are detected as other keys, then ignored. If I set the keymap to...