diff --git a/configs/arm.cml b/configs/arm.cml
index bbbe126..046ba9f 100644
--- a/configs/arm.cml
+++ b/configs/arm.cml
@@ -22,7 +22,7 @@ arm_platform_type	'ARM Platform Type'
 ARM_PLATFORM_EB		'Realview EB Platform, Unsupported yet'
 ARM_PLATFORM_AB926	'Versatile AB926 Platform, Unsupported yet'
 ARM_PLATFORM_PB926	'Versatile PB926 Platform'
-ARM_PLATFORM_PBMPCORE	'Realview PB11MPCore Platform'
+ARM_PLATFORM_PB11MPCORE	'Realview PB11MPCore Platform'
 ARM_PLATFORM_PBA8	'Realview PB-A8 Platform'
 
 DRIVER_UART_PL011	'ARM UART Primecell driver PL011'
@@ -62,7 +62,7 @@ choices arm_platform_type
         ARM_PLATFORM_EB
 	ARM_PLATFORM_AB926
 	ARM_PLATFORM_PB926
-	ARM_PLATFORM_PBMPCORE
+	ARM_PLATFORM_PB11MPCORE
 	ARM_PLATFORM_PBA8
         default ARM_PLATFORM_PB926
 
@@ -99,7 +99,7 @@ menu main_menu
 #Platform rules:
 unless ARM_SUBARCH_V5 suppress ARM_PLATFORM_PB926
 unless ARM_SUBARCH_V5 suppress ARM_PLATFORM_AB926
-unless ARM_SUBARCH_V6 suppress ARM_PLATFORM_PBMPCORE
+unless ARM_SUBARCH_V6 suppress ARM_PLATFORM_PB11MPCORE
 unless ARM_SUBARCH_V7 suppress ARM_PLATFORM_PBA8
 
 #CPU rules:
@@ -117,7 +117,7 @@ unless ARM_SUBARCH_V5 suppress ARM_PLATFORM_PB926
 unless ARCH_ARM suppress arm_menu
 unless ARM_PLATFORM_PB926 or ARM_PLATFORM_AB926 suppress DRIVER_IRQ_PL190
 unless ARM_PLATFORM_EB suppress ARM_CPU_ARM1136
-unless ARM_PLATFORM_EB or ARM_PLATFORM_PBA8 or ARM_PLATFORM_PBMPCORE suppress DRIVER_IRQ_GIC
+unless ARM_PLATFORM_EB or ARM_PLATFORM_PBA8 or ARM_PLATFORM_PB11MPCORE suppress DRIVER_IRQ_GIC
 default DRIVER_UART_PL011 from y
 default DRIVER_TIMER_SP804 from y
 default DRIVER_IRQ_PL190 from y