Forse è meglio, invece che scaricarti il kernel da kernel.org, vedere che kernel hai (digita "uname -a" in un terminale) e scaricati il pacchetto di mandrake 9.2 con gli headers del tuo kernel (mandrake di solito usa kernel modificati)....

Sergej