[PATCH 2/2] arm: highbank: select HAVE_ARM_ARCH_TIMER

[Mark Rutland]

The ECX-2000 has architected timers, but support for them is not
selected by default.

Make MACH_HIGHBANK select HAVE_ARM_ARCH_TIMER, to ensure arhcited timer
support is enabled by default.

Signed-off-by: Mark Rutland <mark.rutland at arm.com>
Cc: Rob Herring <rob.herring at calxeda.com>
---
 arch/arm/mach-highbank/Kconfig | 1 +
 1 file changed, 1 insertion(+)

diff --git a/arch/arm/mach-highbank/Kconfig b/arch/arm/mach-highbank/Kconfig
index cd9fcb1..2bb896f 100644
--- a/arch/arm/mach-highbank/Kconfig
+++ b/arch/arm/mach-highbank/Kconfig
@@ -11,6 +11,7 @@ config ARCH_HIGHBANK
 	select COMMON_CLK
 	select CPU_V7
 	select GENERIC_CLOCKEVENTS
+	select HAVE_ARM_ARCH_TIMER
 	select HAVE_ARM_SCU
 	select HAVE_ARM_TWD if LOCAL_TIMERS
 	select HAVE_SMP
-- 
1.8.1.1