Merge pull request #1562 from antonio-nino-diaz-arm/an/bl31-warn
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Fri, 7 Sep 2018 08:54:33 +0000 (09:54 +0100)
committerGitHub <noreply@github.com>
Fri, 7 Sep 2018 08:54:33 +0000 (09:54 +0100)
Convert BL31 error message into warning


Trivial merge