Come si fa a cancellare un kernel? All'avvio mi si presentano piu' di una scelta fra la stessa distribuzione linux, io vorrei cancellarne qualcuna.