En als je er geen apart programma voor wil installeren dan kun je in /boot/grub/grub.cfg de wachttijd veranderen. Deze staat default ingesteld op 10 seconden.
Wel eerst een backup maken van dit bestand, bijvoorbeeld met "sudo cp -v /boot/grub/grub.cfg /boot/grub/grub.cfg.bak"