[PATCH] ARM: Add Versatile Express support

[Albin Tonnerre]

Hi Russell,

> +config ARCH_VEXPRESS
> +       bool "ARM Ltd. Versatile Express family"
> +       select ARCH_WANT_OPTIONAL_GPIOLIB
> +       select ARM_AMBA
> +       select ARM_TIMER_SP804

You need platform.h, as it's used in arch/arm/plat-versatile/timer-sp.c
Unless I'm mistaken, it's missing from this patchset.

Otherwise, Tested-By: Albin Tonnerre <albin.tonnerre at gmail.com>