hm...bei der linux installation hab ich alles installiert!außnahmslos...also nehm ich mal an, dass auch die kernel sources installiert sind