Problems with debian kernel source 2.6.12-10 on HT cpu (SMP/SMT)

["[eMAXX] Vince" <emaxx-fw1@davex.nl>]

Hi folks,

I really have no idea if this is the correct mailinglist for this, but 
I'll give it a try.

I tried to compile a SMP/SMT kernel for a Intel P4 with HyperThreading 
support CPU from debian kernel sources ( I tried 
linux-source-2.6.12_2.6.12-10_all.deb 
<ftp://ftp.snt.utwente.nl/pub/linux/debian/pool/main/l/linux-2.6/linux-source-2.6.12_2.6.12-10_all.deb> 
and linux-source-2.6.14_2.6.14-2_all.deb 
<ftp://ftp.snt.utwente.nl/pub/linux/debian/pool/main/l/linux-2.6/linux-source-2.6.14_2.6.14-2_all.deb>), 
but after running make-kpkg and rebooting, I still see one cpu in 
/proc/cpuinfo ....

I did the same with some Vanilla sources (2.6.12.6) and it just works 
great! (I'm seeing 2 cpu's in /proc/cpuinfo).

Could there be a bug in the debian sources?

Regards,

Vince.