Non so quanta pratica hai in ambito Linux, io mi sto riavvicinando dopo diverso tempo ..., potresti semplicemente mettere pių kernel ed avvi il solito oppure quello pių recente, configurando opportunatamente grub o lilo. Non č necessario ricompilare niente basta prendere il formato binario del kernel della tua distribuzione.
Ciao Ale
