Você pode modificar o mapa de teclado com o seguinte comando:
xmodmap -pke | sed -n 's/ = .*VT_4.*/ = /p' | xmodmap -
Testado em 14.04 e 14.10 e funciona. Para que o comando funcione mesmo após o reinício, use o upstart . Para outras formas e informações, consulte aqui