From 7e13c654f446e3c9848ac0b725ae4daf25e10846 Mon Sep 17 00:00:00 2001
From: Matthew Leach <matthew.leach@arm.com>
Date: Fri, 14 Mar 2014 10:18:22 +0000
Subject: [PATCH] KConfig: Vexpress: build the ARM_GLOBAL_TIMER with vexpress
 platform

The Cortex A5 now contains bindings for the global timer
driver. Ensure that the driver is built with a vexpress platform.

Signed-off-by: Matthew Leach <matthew.leach@arm.com>
Signed-off-by: Daniel Lezcano <daniel.lezcano@linaro.org>
---
Reading git-format-patch failed