[PATCH] MAXCPU alterable in kernel config - needs testers

[Kip Macy]

>
> I think MAXCPU should not be great than 32, since we currently define
> cpumask_t as an integer which now should be changed to a bitmap and
> a group of operations like we did for sigset_t.

This will need to be changed soon for T2 support.