Eu acho que é um bug que ainda não foi corrigido (em fevereiro de 2016):
Solução temporária:
Opcionalmente, modifico / etc / default / grub
GRUB_HIDDEN_TIMEOUT_QUIET = false
GRUB_TIMEOUT = 5
GRUB_HIDDEN_TIMEOUT = 0
GRUB_CMDLINE_LINUX_DEFAULT=""
GRUB_CMDLINE_LINUX=""
GRUB_DEFAULT = salvo
GRUB_SAVEDEFAULT = true
(default e savedefault devem lembrar de inicializar o último sistema operacional inicializado)
Depois de tudo ser executado:
sudo update-grub
para aplicar opções,
Reinicie.