Ho Linux Mint, con un aggiornamento si è installato il kernel 5.0. All'avvio però c'è un errore sul disco (non ho preso i dettagli purtroppo) e sono riucito partire selezionando al Grub il recovery mode.
Ora ho modificato il grub per avviare con il kernel 4.15.0. Le altre versioni presenti vedo che sono la 4.18, 5.0, 5.3 e 5.4
Il quesito è : come reinstallare/riparare il kernel 5 ? Oppure si ripristina a seguito di successivi aggiornamenti ?
------RISOLTO, installando la versione 5.4