nr_cpu_ids incorrect on AMD Quad-Core Opteron 8380

[zhiyi]

Hi,
I have just found the value of nr_cpu_ids is 32, instead of 16 on my  
new Dell PowerEdge R905 which has 16 cpus (4 quad-core Opteron 8380).  
However, /proc/cpuinfo displays the right number (16).
I have searched the archive but found no related subject.  Is there  
any patch already available to fix the problem?
I am using 2.6.31-4 and verified this incorrect value (32) using a  
module.
Please CC responses to my personal email.
Cheers,
Zhiyi
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/