Merge pull request #1531 from MISL-EBU-System-SW/marvell-plat-updates
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Tue, 28 Aug 2018 09:06:00 +0000 (10:06 +0100)
committerGitHub <noreply@github.com>
Tue, 28 Aug 2018 09:06:00 +0000 (10:06 +0100)
plat: marvell: bl31: Update the early platform setup API


Trivial merge