Grazie Franco !

Non sono molto esperta di linux, per cui se mi dici direttamente da quale link scaricare tra quelli che mi hai indicato facciamo prima.

Tuttavia ho provato a lanciare la funzione up2date di Fedora che mi ha sostituito il kernel automaticamente dalla versione 2.6.9-1.667smp alla versione 2.6.9.724_FC3smp.
Ma il problema è rimasto.

Grazie

Lucia