SMP kernel bug with CPUs count

[13G]

Hello all.

I have found CPU count mismatch in my system - (less CPU performance) - maybe missing some compilation options to kernel compilation ? (please create kernel for 32+ CPUs)
I have server with 2x Xeon 5620 CPUs with HT on (2x4 CPU physical cores+2x4 CPU virtual cores = 16 CPU cores).

I'm trying porteus x64 and kernel: cat /proc/version
Linux version 3.1.8-porteus (root@porteus) (gcc version 4.5.2 (GCC) ) #1 SMP PREEMPT Sat Jan 7 09:31:13 UTC 2012

but you can see: cat /proc/cpuinfo | grep processor | wc -l
8

physical processors: grep "physical id" /proc/cpuinfo | sort -u
physical id : 0
physical id : 1

number of cores per CPU: grep "cores" /proc/cpuinfo | sort -u
cpu cores : 4

When i tried to boot SystemRescueCD with x64 kernel, there are 16 CPUs.
Can you please compile kernel with more CPUs support please?Or where is the problem or which version should I use? (yes, i'm lasy to compile my own kernel and this should be usable for more people if you implement it to the basic porteus x64/32bit distro)

Thank you very much!

[fanthom]

Welcome on board 13G,

i didn't expect to see Porteus running on such a beast... will enable support for 16+ CPU's for next release.
Thanks

[13G]

porteus is the best!!! :-)

used for debugging and folding@home/boinc projects on high power machines 24/7 - without installation OS ;p

THX YOU VERY MUCH for adding 16+ CPUs !!!!

let me know about this kernel release please - i'm waiting only for this :-)