Merge tag 'vgic-migrate-for-marc' of git://git.linaro.org/people/christoffer.dall...
authorMarc Zyngier <marc.zyngier@arm.com>
Sat, 28 Dec 2013 10:26:48 +0000 (10:26 +0000)
committerMarc Zyngier <marc.zyngier@arm.com>
Sat, 28 Dec 2013 10:26:48 +0000 (10:26 +0000)
VGIC and timer migration pull


Trivial merge