On Feb 26, 2013, at 3:33 AM, Tiejun Chen wrote:

Currently we already support p5040ds which has 4 e5500 cores, but
twelve dual-threaded e6500 cores are also built on T4240, we can
change CONFIG_NR_CPUS with this value now.

Signed-off-by: Tiejun Chen <redacted>
---
arch/powerpc/configs/corenet64_smp_defconfig |    2 +-
1 file changed, 1 insertion(+), 1 deletion(-)

I've handled this as part of the T4 baseline support patchset.

- k