Hai provato a installare i kernel source?

qualcosa tipo "#apt-get install linux-source"...