Merge pull request #1000 from dp-arm/dp/aarch32-boot
authordavidcunado-arm <david.cunado@arm.com>
Tue, 27 Jun 2017 22:10:47 +0000 (23:10 +0100)
committerGitHub <noreply@github.com>
Tue, 27 Jun 2017 22:10:47 +0000 (23:10 +0100)
juno/aarch32: Fix boot on Cortex A57 and A72


Trivial merge