Esse problema ocorre mesmo se você tiver os cabeçalhos do Linux no lugar. Eu não encontrei nenhuma solução até agora. A única solução que posso fazer é fazer downgrade para um kernel funcional e uma versão xorg-xserver.
No entanto, se você tiver um downgrade de plataforma otimizada, parece causar problemas, tanto quanto eu posso ver.
Aguardando que a nvidia libere drivers ativos para o kernel Linux > 3 com corrigir uma versão ABI!
Eu enviei um aplicativo para baixar o driver RC 4.1, talvez isso ajude. Eu vou deixar você saber se eu tiver uma resposta.
Atualizar Graças a Nvidia para resposta rápida. Eu adquiri o driver de desenvolvimento 4.1 RC (devdriver_4.1_linux_64_285.05.15.run).
Esta versão constrói bem o módulo do kernel com 3.1.0-1-amd64 e xserver-xorg 1: 7.6 + 9.
Mas eu acho que não é possível detectar o cartão devido às configurações do Optimus. Vou tentar o projeto Bumblebee para isso.