Impossibile avrai sbagliato qualche passaggio.

(forse devi installare i sorgenti del kernel che stai usando).

ciao