Resposta curta - HAL errado instalado.
Resposta longa - no Gerenciador de dispositivos, em Computador, deve-se dizer ACPI Multiprocessor PC. Se não, o sistema operacional provavelmente foi instalado enquanto o multi-core estava desabilitado no BIOS.
Para corrigir o problema, execute o seguinte comando:
rundll32 syssetup,SetupInfObjectInstallAction ACPIAPIC_MP_HAL 128 %windir%\inf\hal.inf
Você deve ter todos os núcleos funcionando após a reinicialização.