Oi Paulo!
No meu caso, o notebook é um Vaio, ele usa a tecla “assist” no lugar de F12(por exemplo). Mas já tentei selecionar boot pelo HD, ele parte o Windows 10, nunca da boot Linux. Após instalar o Mint pela 1a. vez, ele de inicio dava boot com opção de seleção Linux ou Windows. Mas depois, parece que “matou” o boot dual, e só parte pelo Windows. Já tentei reinstalar o Linux, usar o “boot-repair”, mas ele só parte o Windows 10.