4: Correct max number of CPUs in Kconfig

Pointed out by Adrian Bunk

Signed-off-by: Andi Kleen <ak@suse.de>
X