Eu mudei o valor para o post hotkey delay de 0 para 20. Agora, quando a máquina iniciar, eu posso pressionar F9 mais facilmente. O que foi muito chato foi que, se houvesse tão pouco tempo para pressionar a tecla, era realmente fácil falhar e o Windows começaria, mas agora, com 20 segundos, é mais do que suficiente.