Desde el lanzamiento de la versión 2.6.25-2 del kernel en Debian, se ha activado Xen por defecto, lo que trae consigo problemas para cierto software propietario como los controladores de NVIDIA o VMWare Player.

Tras trastear un buen rato y probar varias soluciones, la única que me funcionó fué esta. Yo opté por usar la última versión beta y meter los comandos en un script que luego ejecuté arrancando el sistema en modo single:

cd /lib/modules/2.6.25-2-686
grep CONFIG_XEN . -Rl | xargs -i sed -i -e 's/CONFIG_XEN/CONFIG_LUPO/g' {}
export IGNORE_XEN_PRESENCE=1
sh ~/NVIDIA-Linux-x86-173.08-pkg1.run

Sí, lo sé, esto me pasa por usar software no Open Source