OK, depois de instalar um monte de coisas X ( apt-get install xubuntu-desktop xfce4 -y
), eu consegui executar software-properties-gtk
e enviá-lo para a conexão X. Ele mostrou que o driver proprietário na verdade já estava em uso.
Se alguém souber uma maneira mais fácil de saber qual driver está em uso, eu gostaria disso.