Continuou do mesmo jeito. E uma coisa interessante: se eu entrar na BIOS e sair, mesmo sem alterar nada, aí no boot seguinte ele abre as opções de escolha. Aí eu entro no sistema. Mas se mandar reiniciar e não entrar na bios, ele volta a não mostrar as opções novamente… 