CONFIG_REALVIEW_MPCORE is not available for thedefaultarchitecture x86.
Result is shown for architecture arm

Support MPcore tile

configname: CONFIG_REALVIEW_MPCORE

Linux Kernel Configuration
└─>RealView platform type
└─>Support MPcore tile
In linux kernel since version 2.6.15 (release Date: 2006-01-02)  
Enable support for the MPCore tile on the Realview platform.
Since there are device address and interrupt differences, a
kernel built with this option enabled is not compatible with
other tiles.