Eu ainda não sei como usar o driver nvidia no kernel, mas pelo menos eu consegui inicializar com sucesso o computador com o servidor x funcionando.
Depois de instalar o kernel, edite /etc/default/grub
e adicione nomodeset
na linha com GRUB_CMDLINE_LINUX_DEFAULT
.
GRUB_CMDLINE_LINUX_DEFAULT="quiet nomodeset"
Salve o arquivo e faça
sudo update-grub
Ainda assim, parece que há um problema não resolvido, pois vejo algo como [ Failed ]
em um log de inicialização ao inicializar o computador. Mas funciona pelo menos. : (