Bem, assim que recebi a minha pergunta datilografei-a, pelo menos para esta motherboard Intel.
Encontrei outro computador com a mesma motherboard e naveguei nas definições da BIOS. Em Boot/Fast Boot/USB Optimization encontrei este texto descritivo (a propósito, em lado nenhum do manual):
“If Enabled, USB devices (keyboards and drives) will not be available until after OS boot, but BIOS will boot faster. Se Desactivado, os dispositivos USB estarão disponíveis antes do arranque do SO, mas a BIOS irá arrancar mais lentamente. Esta questão não afecta as capacidades USB após o arranque do SO. Esta questão não pode ser activada enquanto estiver instalada uma Palavra-passe de Utilizador ou uma Palavra-passe do Disco Rígido. Para desactivar o Arranque Rápido sem entrar na Configuração da BIOS: Desligue o sistema, depois mantenha premido o botão de ligar/desligar até o sistema emitir um bip”
Eu tentei, ouvi 3 bips, depois inicializei para um ecrã dizendo que o gatilho de arranque rápido tinha sido detectado, gostaria de activar o arranque rápido no próximo arranque. Não! Reparei que a luz do meu teclado estava acesa e carreguei no ‘N’. Reiniciou novamente e consegui carregar na F2 para entrar na BIOS.