Merge pull request #1222 from davidcunado-arm/dp/bl31_mem
authordavidcunado-arm <david.cunado@arm.com>
Thu, 11 Jan 2018 18:33:43 +0000 (18:33 +0000)
committerGitHub <noreply@github.com>
Thu, 11 Jan 2018 18:33:43 +0000 (18:33 +0000)
Increase BL31 memory space by 2 pages


Trivial merge