Merge pull request #135 from soby-mathew/sm/remove-reinit-of-timers
authordanh-arm <dan.handley@arm.com>
Wed, 18 Jun 2014 17:34:31 +0000 (18:34 +0100)
committerdanh-arm <dan.handley@arm.com>
Wed, 18 Jun 2014 17:34:31 +0000 (18:34 +0100)
Remove re-initialisation of system timers after warm boot for FVP


Trivial merge