Da terminale (come root)
# urpmi kernel-source

Ti installa quelli corretti.

Ciao