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. : (