Merge pull request #411 from jcastillo-arm/jc/plat_bl1_exit
authordanh-arm <dan.handley@arm.com>
Wed, 21 Oct 2015 11:12:12 +0000 (12:12 +0100)
committerdanh-arm <dan.handley@arm.com>
Wed, 21 Oct 2015 11:12:12 +0000 (12:12 +0100)
Jc/plat bl1 exit


Trivial merge