Instalé con éxito Ubuntu 18.04 sobre Windows 10 preinstalado en un HP Probook 440 G3. Arranca directamente en Windows. La única forma de cargar Ubuntu es presionar la tecla f9 y elegir Ubuntu manualmente. ¿Cómo puedo hacer que el arranque permanente en Ubuntu sea la primera opción?