Ja még annyi, hogy ha jól emlékszem ilyesmit olvastam régebben:
Ez helyett:
sudo apt-get install linux-headers-3.5.0-17-generic
Írjad ezt:
sudo apt-get install linux-headers-"uname -r"
Így mindig az adott kernelhez tartozó header lesz telepítve és nincs problem 
(Azért teszteld be 
)
