Cheguei ao mesmo veredito, fazendo testes de compilação de kernel. Pena que perdi os tempos... mas em geral, com o HT habilitado na BIOS, a máquina foi mais lenta. Abraços, Eduardo.