Instalei com sucesso o Ubuntu 18.04 sobre o Windows 10 pré-instalado em um HP Probook 440 G3. Ele inicializa diretamente no Windows. A única maneira de carregar o Ubuntu é pressionando a tecla f9 e escolhendo o Ubuntu manualmente. Como posso inicializar permanentemente o Ubuntu como primeira escolha?