Depois de instalar o VirtualBox no Fedora 17, o sistema não inicializa (drivers da NVidia)

Question

Minha sorte eu tive alguns kernels mais antigos, que funcionam. O novo kernel, provavelmente de alguma forma corrigido pelo VirtualBox, não carrega. O que falha é o X-server, quando ele tenta iniciar, aqui está o log:

[    14.284] (II) LoadModule: "nvidia"
[    14.284] (II) Loading /usr/lib64/xorg/modules/drivers/nvidia_drv.so
[    14.285] (II) Module nvidia: vendor="NVIDIA Corporation"
[    14.285]    compiled for 4.0.2, module version = 1.0.0
[    14.285]    Module class: X.Org Video Driver
[    14.294] (EE) NVIDIA: Failed to load the NVIDIA kernel module. Please check your
[    14.294] (EE) NVIDIA:     system's kernel log for additional error messages.
[    14.294] (II) UnloadModule: "nvidia"
[    14.294] (II) Unloading nvidia
[    14.294] (EE) Failed to load module "nvidia" (module-specific error, 0)
[    14.294] (EE) No drivers available.
[    14.294] 
Fatal server error:
[    14.294] no screens found

Provavelmente, eu poderia apenas desinstalar o VirtualBox, então atualizar os drivers do kernel + NVidia (ah, por que ...) e eu colocaria meu laptop de volta ao normal, no entanto, isso não significará VirtualBox para mim.

A questão é: existe alguma maneira de fazer amigos entre o VirtualBox e o NVidia? Talvez eu precise de alguns drivers específicos para o VirtualBox?

EDITAR

(Sou o autor da pergunta, mas devido a alguns erros no gerenciamento da conta, não aparece mais como tal)

Abaixo está o que eu consegui de dmesg , mas é tão superficial quanto a nota acima:

[   14.058801] nvidia: module license 'NVIDIA' taints kernel.
[   14.058807] Disabling lock debugging due to kernel taint
[   14.172337] input: HDA NVidia HDMI/DP,pcm=9 as /devices/pci0000:00/0000:00:01.0/0000:01:00.1/sound/card1/input13
[   14.172636] input: HDA NVidia HDMI/DP,pcm=8 as /devices/pci0000:00/0000:00:01.0/0000:01:00.1/sound/card1/input14
[   14.172888] input: HDA NVidia HDMI/DP,pcm=7 as /devices/pci0000:00/0000:00:01.0/0000:01:00.1/sound/card1/input15
[   14.173166] input: HDA NVidia HDMI/DP,pcm=3 as /devices/pci0000:00/0000:00:01.0/0000:01:00.1/sound/card1/input16
[   14.175252] vgaarb: device changed decodes: PCI:0000:01:00.0,olddecodes=io+mem,decodes=none:owns=io+mem
[   14.175527] NVRM: loading NVIDIA UNIX x86_64 Kernel Module  304.54  Sat Sep 29 00:05:49 PDT 2012

Eu também verei agora os logs do yum para ver se houve algum registro do que exatamente ele fez no kernel / configuração.

EDIT2

Jul 26 00:53:18 Installed: kmod-VirtualBox-3.9.10-100.fc17.x86_64-4.2.12-1.fc17.13.x86_64
Jul 26 00:53:19 Installed: kmod-VirtualBox-4.2.12-1.fc17.13.x86_64
Jul 26 00:53:25 Installed: VirtualBox-4.2.12-1.fc17.x86_64
Jul 26 00:53:25 Erased: 1:kmod-nvidia-3.5.3-1.fc17.x86_64-304.51-1.fc17.x86_64

OK, então, aparentemente, yum decidiu que precisa apagar o módulo do kernel NVidia ... Meu palpite é correto então, que esses dois são incompatíveis? E se assim for, não tem como eles trabalharem juntos? O que seria uma alternativa, se alguma para o VirtualBox?

Desculpe, não posso comentar ainda. Só para deixar claro: o driver é para o sistema host, não para o convidado. Eu realmente tomei coragem para apenas remover todas as coisas relacionadas à NVidia, reinstalá-las e o VirtualBox começou tudo bem. O que eu fiz seria algo nos moldes de:

# yum update kernel* selinux-policy*
# yum list installed | grep nvidia | yum remove
# reboot
# yum install akmod-nvidia nvidia-settings nvidia-xconfig

Acho que eu tinha drivers CUDA (usados para desenvolvimento da tecnologia de paralelismo da NVidia), mas não os usei de qualquer maneira.