Merge pull request #1267 from jeenu-arm/console-fix
authordavidcunado-arm <david.cunado@arm.com>
Fri, 16 Feb 2018 22:47:06 +0000 (22:47 +0000)
committerGitHub <noreply@github.com>
Fri, 16 Feb 2018 22:47:06 +0000 (22:47 +0000)
ARM platforms: Fix console address for flush


Trivial merge