eu tive o mesmo problema, a correção foi simples, apenas atualize o kernel você precisa da última versão do kernel eu sugiro 3.12
- Clique aqui: link
- Baixe 3 (talvez 4) debs para uma pasta em algum lugar:
linux-headers-VERSION-NUMBER_all.deb
linux-headers-VERSION-NUMBER_amd64.deb
linux-image-VERSION-NUMBER_amd64.deb
linux-image-extra-VERSION-NUMBER_amd64.deb # se disponível
3.Instale os debs com o gerenciador de pacotes front-end que você usa (o gdebi ainda está por aí?), ou use estes comandos:
cd / caminho / para / pasta / onde / você / colocar / o / debs
sudo dpkg -i * .deb