O VT-x não está disponível, mas está activado na BIOS
Recentemente comecei a ter um problema com o VT-x no meu Windows 10 a correr no HP EliteBook. Eu estava usando a Oracle VirtualBox para rodar algumas VMs nele antes e o VT-x estava habilitado na BIOS e estava funcionando bem.
Eu comecei a ter erro de VT-x is not available
toda vez que eu estava tentando iniciar qualquer uma das minhas VMs. Isso começou a acontecer depois de ter instalado o Docker na minha máquina, por isso tentei desinstalá-lo e reinicializá-lo. Não ajudou.
Verifiquei as definições da BIOS e diz que o VT-x está activado mas verificar com o Utilitário de Identificação do Processador Intel® mostra que o VT-x não é suportado e a Oracle VirtualBox também não o vê.
Não houve alterações de hardware e a única alteração de software foi instalar/desinstalar o Docker.
Como é que este problema pode ser resolvido?