Instalei com sucesso o Ubuntu 18.04 em cima do Windows 10 pré-instalado em um HP Probook 440 G3. Ele inicializa direto no Windows. A única maneira de carregar o Ubuntu é pressionar a tecla f9 e escolher o Ubuntu manualmente. Como posso fazer uma inicialização permanente para o Ubuntu como a primeira escolha?