Estou fazendo esta pergunta em nome de um amigo. Ele tem o windows 10 e o ubuntu 17.10 dual boot.
Ele está enfrentando um problema com o grub muito recentemente, isto é, quando o grub aparece, ele tem que esperar 10 segundos antes que o grub permita que ele troque o sistema operacional usando as teclas de seta. Então ele não pode alternar o sistema operacional imediatamente. Ele gera grub no grub costumier.