Isso foi respondido em um comentário:
Não tem nada a ver com o BIOS . O menu de inicialização é o Gerenciador de inicialização do Windows. Às vezes, as edições no boot.ini não funcionam (XP) ou bcdedit (Vista / 7/8) por razões desconhecidas. Verifique o
Time to display operating systems
(o mais comum é que é definido como zero, make 10). Ou edite sua pergunta com o conteúdo.
- bcbc Dez 29 '12 às 15:13