Eu tentei muitas coisas e acho que a HP não quer permitir dual boot na minha máquina e outras semelhantes. Meu HP 15 (não Envy) começou com o Windows 8.1, mas foi atualizado pela primeira vez com a versão "gratuita" do Windows 10 e agora a versão de aniversário. Todos tiveram o mesmo problema - nenhum menu de inicialização (com opção de inicialização dupla) na inicialização. A solução que eu encontrei é longa e não é conveniente. Vá para CONFIGURAÇÕES / ATUALIZAÇÃO E SEGURANÇA / RECUPERAÇÃO / INICIALIZAÇÃO AVANÇADA (precisa reiniciar) / USE UM DISPOSITIVO / UBUNTU. Então, a tela de inicialização dupla tradicional aparece (o padrão é o Ubuntu). É um longo caminho. Eu tinha lido sobre a opção de reparo de inicialização mencionada anteriormente, mas estava relutante em seguir esse caminho.
Boa sorte