Ein bisschen hilft es, in die datei /etc/default/grub diese beiden Zeilen zu haben:
GRUB_TIMEOUT=5
GRUB_RECORDFAIL_TIMEOUT=5
(die zweite ist ein workaround, weil - ist etwas zu kompliziert 
GRUB_TIMEOUT_STYLE=hidden
versteckt das Startmenü
GRUB_TIMEOUT_STYLE=menu
holt es zurück.
Erst, wenn im Terminal das Kommando sudo update-grub
mit anschließendem Neustart gegeben wurde, hat es Wirkung…