diff --git a/configs/arm.cml b/configs/arm.cml
index 7d2ce4d..bbbe126 100644
--- a/configs/arm.cml
+++ b/configs/arm.cml
@@ -116,6 +116,7 @@ unless ARM_SUBARCH_V7 suppress ARM_CPU_CORTEXA8
 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
 default DRIVER_UART_PL011 from y
 default DRIVER_TIMER_SP804 from y