De uma olhada no arquivo /etc/X11/xorg.conf e veja a seçao referente a "keyboar" e adicione a opçao "abnt2"
Errado, já que o teclado dele é US.
O jeito certo é este aqui:
Edite o /etc/X11/xorg.conf e deixe assim:
Section "InputDevice"
Identifier "Generic Keyboard"
Driver "kbd"
Option "XkbRules" "xorg"
Option "XkbModel" "pc105"
Option "XkbLayout" "us_intl" #(aqui está o "pulo do gato", us internacional)
EndSection