Merge pull request #1097 from davidcunado-arm/dc/reset_bl31
authordavidcunado-arm <david.cunado@arm.com>
Wed, 13 Sep 2017 09:59:04 +0000 (10:59 +0100)
committerGitHub <noreply@github.com>
Wed, 13 Sep 2017 09:59:04 +0000 (10:59 +0100)
plat/arm: Fix BL31_BASE when RESET_TO_BL31=1


Trivial merge