non so ubuntu ke ha..cmq dal cd lo dovresti trovare!se ha apt fai apt-get install kernel-source