RealView: Enable the configuration options for PB11MPCore