No ma infatti non ho ricompilato il kernel (almeno credo)...

Ho soltanto preso l'rpm dal disco e ho fatto rpm -qva (o un comando simile non ricordo) e il nome del file.

Lui me li è andati a installare... e infatti adesso ho una cartella che mi dicevano che serviva che prima non avevo.