Stiamo parlando dei driver di Nvidia proprietari? Ho visto l'articolo e devo dire che io faccio tutta un'altra procedura.
- scarico il driver dal sito nvidia;
- scarico e installo il kernel (già compilato)
- scarico e installo gli headers
- scarico il sorgente del kernel e lo scompatto in /usr/src/linux_nversione
- creo un link simbolico /usr/src/linux /usr/src/linux_nversione
- mi assicuro che al prossimo avvio non parta gdm quindi mv /etc/rc3.d/S21gdm /etc/rc3.d/K21gdm
- riavvio
- sh NVIDIA_numerodiversione.run

E seguo l'installazione, ripristino il file /etc/rc3.d/K21gdm /etc/rc3.d/S21gdm, riavvio e tutto funziona.

Un po' macchinosa forse, ma lo step del kernel va fatto solo quando cambia il kernel.