[RISOLTO] Linux Mint 20, grub e suoi submenu

[dxgiusti]

con più distribuzioni linux installate, ad ogni aggiornamento di kernel, bisogna tassativamente dare l'update-grub alla distribuzione che gestisce l'avvio.
rammento che grub-customizer offre la possibilità di impostare come predefinito un tipo di kernel e mantenere tale scelta anche dopo gli aggiornamenti.