O F2 deve exibir todas as opções de UEFI. Acredito que você poderá alterar permanentemente as opções de inicialização. Caso contrário, quando eu estava com o boot duplo do Windows 8 e do Ubuntu 12.04, a execução do link de reparo forçou o UEFI a inicializar um menu grub que padrão para o Ubuntu. Eu devo mencionar que estou executando um desktop XPS 8500.