--- arch/arm/mach-realview/Kconfig

+++ arch/arm/mach-realview/Kconfig

@@ -18,6 +18,7 @@ config REALVIEW_EB_ARM11MP

bool "Support ARM11MPCore tile"

depends on MACH_REALVIEW_EB

select CPU_V6

+ select ARCH_HAS_BARRIERS if SMP

help

Enable support for the ARM11MPCore tile on the Realview platform.

@@ -35,6 +36,7 @@ config MACH_REALVIEW_PB11MP

select CPU_V6

select ARM_GIC

select HAVE_PATA_PLATFORM

+ select ARCH_HAS_BARRIERS if SMP

help

Include support for the ARM(R) RealView MPCore Platform Baseboard.

PB11MPCore is a platform with an on-board ARM11MPCore and has