Prova ad eseguire da mint: "sudo update-grub"
Sono contento che hai risolto
appena ho tempo aggiungo il fix in prima pagina, visto che sembra funzionare
@rizzotti: allora su Cinnamon come al solito dovrebbe esserci l'impostazione, ma esiste anche una comoda applet da aggiungere al pannello:
http://cinnamon-spices.linuxmint.com/applets/view/103