Я переработал ответ Тобу, изменив только абсолютно необходимое:
sudo sh -c 'dumpkeys -k|grep -v Incr_Console|grep -v Decr_Console|grep -v Last_Console|loadkeys'
NB: Как уже говорилось, это единовременное исправление и, вероятно, исчезнет после перезагрузка.