Allow the user to specify the number of cores present on the
RealView EB + ARM11MPCore board.  Also split into its own config
rather than guessing from the CPU name.
Signed-off-by: NPaul Brook <paul@codesourcery.com>