a questo punto potre aggiornare tutta la distro alla 10.1 mettendo i repository di easyurpmi. Poi con # urpmi -y mi dovrei trovare il nuovo kernel pronto da installare. Dico bene ?

Altrimenti, senza aggiornare alla 10.1, dove lo trovo e come lo installo il nuovo kernel ?

Ancora grazie