Acontece que o problema é que a BIOS não detectou a CPU corretamente quando foi instalada pela primeira vez, e redefinir as configurações da BIOS para o padrão resolveu o problema.
Isso foi sugerido pelo suporte da Intel e, surpreendentemente, funcionou. Então parece que o fantástico VisualBIOS é tão bugs, se não mais, do que a configuração tradicional da BIOS!
Após a reinicialização, i7z mostrou os multiplicadores para 1/2/3/4 núcleos como 39x / 38x / 37x / 37x como esperado, embora eu não tenha percebido até agora que a velocidade máxima do turbo boost da Intel só se aplica quando um único núcleo está ativo.
Eu tentei ajustar os multiplicadores de turbo na configuração da BIOS (dica: use a navegação do teclado, você pode obter configurações que você não pode selecionar com o mouse) e definir isso para 45 fez i7z relatar os multiplicadores de turbo como 45x / 45x / 45x / 45x. No entanto, o multiplicador ainda não vai ultrapassar 37x quando quatro núcleos estão ativos, então parece que essa configuração só pode ser reduzida, não aumentada. Vergonha!