1 files changed, 9 insertions, 12 deletions

diff --git a/arch/arm/mach-realview/Kconfig b/arch/arm/mach-realview/Kconfig
index 35156ca39df7..39b3bb7f1020 100644
--- a/arch/arm/mach-realview/Kconfig
+++ b/arch/arm/mach-realview/Kconfig
@@ -7,24 +7,21 @@ config MACH_REALVIEW_EB
         help
           Include support for the ARM(R) RealView Emulation Baseboard platform.
 
-config REALVIEW_MPCORE
-        bool "Support MPcore tile"
+config REALVIEW_EB_ARM11MP
+        bool "Support ARM11MPCore tile"
         depends on MACH_REALVIEW_EB
         select CACHE_L2X0
         help
-          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.
+          Enable support for the ARM11MPCore tile on the Realview platform.
 
-config REALVIEW_MPCORE_REVB
-        bool "Support MPcore RevB tile"
-        depends on REALVIEW_MPCORE
+config REALVIEW_EB_ARM11MP_REVB
+        bool "Support ARM11MPCore RevB tile"
+        depends on REALVIEW_EB_ARM11MP
         default n
         help
-          Enable support for the MPCore RevB tile on the Realview platform.
-          Since there are device address differences, a
+          Enable support for the ARM11MPCore RevB tile on the Realview
+          platform. Since there are device address differences, a
           kernel built with this option enabled is not compatible with
-          other tiles.
+          other revisions of the ARM11MPCore tile.
 
 endmenu