Busque no repositório o kernel 2.8.1-smp utilizando o comando apt-get:

# apt-get install kernel-image2.6.8.1-smp

ou através do aplicativo aptitude (Debian). Uma vez feito isto atualize o grub:

# update-grub

Este comando verifica no diretório /boot quais inicializações estão disponíveis e automaticamente gera as modificações no arquivo /boot/grub/menu.lst de forma a disponibilizar o novo kernel no menu de inicialização.

Experimente inicializar o sistema com o novo kernel. Se o sistema inicializar perfeitamente, verifique se as duas CPUs foram identificadas digitando:

# cat /proc/cpuinfo

Se você tiver algo do tipo:

processor       : 0
vendor_id       : GenuineIntel
cpu family      : 15
model           : 2
model name      : Intel(R) Pentium(R) 4 CPU 2.60GHz
stepping        : 9
cpu MHz         : 2594.205
cache size      : 512 KB
physical id     : 0
siblings        : 2
fdiv_bug        : no
hlt_bug         : no
f00f_bug        : no
coma_bug        : no
fpu             : yes
fpu_exception   : yes
cpuid level     : 2
wp              : yes
flags           : fpu vme de pse tsc msr pae mce cx8 
apic sep mtrr pge mca cmov pat pse36 clflush dts acpi 
mmx fxsr sse sse2 ss ht tm pbe cid
bogomips        : 5128.19

processor       : 1
vendor_id       : GenuineIntel
cpu family      : 15
model           : 2
model name      : Intel(R) Pentium(R) 4 CPU 2.60GHz
stepping        : 9
cpu MHz         : 2594.205
cache size      : 512 KB
physical id     : 0
siblings        : 2
fdiv_bug        : no
hlt_bug         : no
f00f_bug        : no
coma_bug        : no
fpu             : yes
fpu_exception   : yes
cpuid level     : 2
wp              : yes
flags           : fpu vme de pse tsc msr pae mce cx8 
apic sep mtrr pge mca cmov pat pse36 clflush dts acpi 
mmx fxsr sse sse2 ss ht tm pbe cid
bogomips        : 5177.34

Beleza! Funcionou direto.

Comigo não foi assim que aconteceu. Durante a inicialização ocorria um travamento na inicialização dos serviços ACPI. Para resolver este problema e ao mesmo tempo habilitar os recursos da tecnologia HT, basta editar o arquivo /boot/grub/menu.lst adicionando a diretiva acpi=ht:

# vim /boot/grub/menu.lst

Pronto! Reinicialize o sistema e verifique se o sistema identificou os dois processadores utilizando o procedimento descrito acima.

Espero que este artigo seja útil.

Abraços,
Luciano