Você pode alterar qual grub do SO é inicializado por padrão. No terminal, faça:
sudo gedit /etc/default/grub
Encontre a linha que diz:
GRUB_DEFAULT=0
e altere 0 para o item de menu do grub que você gostaria de inicializar primeiro por padrão. No seu caso, deve ser a entrada 4. Para verificar novamente, ou se você esquecer a ordem de inicialização, abra /boot/grub/grub.cfg
Depois de fazer as alterações, salve-as e faça:
sudo update-grub
Espero que isso ajude.