Per cambiare le impostazione del grub senza dover smanettare su file di configurazione, basta installare startupmanager:
sudo apt-get install startupmanager.
Dopo averlo installato troviamo il programma in Sistema -> Amministrazione -> Start-Up Manager.
L’utilizzo è molto intuitivo e semplice..
Buona configurazione