The following patches fix various Versatile Express BSP build issues happening since 2013.12-rc1 was pushed.
[PATCH 1/3] VEA5: ARM Packages: Renamed PL390Gic driver into ArmGic [PATCH 2/3] TC1: ARM Packages: Renamed PL390Gic driver into ArmGic [PATCH 3/3] TC2: fix debug builds after ACPI was added