kernel-source mi sembra...

e cmq l'hai installato?nns'è capito..