[PATCH 4/5] arm: fix up ARM_ARCH_TIMER selects

[Stephen Warren]

On 03/27/2013 11:11 AM, Mark Rutland wrote:
> In 8a4da6e: "arm: arch_timer: move core to drivers/clocksource", the
> selection of ARM_ARCH_TIMER was indirected via HAVE_ARM_ARCH_TIMER,
> though mach-exynos's selection of ARM_ARCH_TIMER was missed, and since
> then mach-virt and mach-tegra have begun selecting ARM_ARCH_TIMER. This
> can lead to architected timer support erroneously appearing to not be
> selected in menuconfig.
> 
> This patch fixes up the Kconfigs for those platforms to select
> HAVE_ARM_ARCH_TIMER.

Acked-by: Stephen Warren <swarren at nvidia.com>

I assume you'll take this patch through some tree of yours.