Apri RPMDrake , Software Manager o quello che c'è su MDK per gestire i pacchetti , poi cerchi "kernel sources" o "kernel headers" e installi il pacchetto .
Se hai intenzione di ricompilare in un futuro il kernel installa i Sources , sennò installa pure solo gli Headers , vedi te
Ciao
