Eu consegui resolver meu problema usando este post: link
Eu tive que usar /etc/init.d/lightdm stop
em vez do /etc/init.d/gdm stop
na documentação (apenas após a inicialização sem ter feito login via login gráfico).
Além disso, antes de iniciar a configuração do driver nVidia, tive que executar apt-get install linux-headers-3.5.0-17-generic
, porque a configuração do driver da nVidia procurou por eles.