[Cosmo]

Quello che voglio dire è che non è un problema di kernel, è un problema di grub.
Forse basterebbe un update-grub - ma non gliel'ho suggerito perché io preferisco non fornire suggerimenti a chi usa mint