Merge pull request #1126 from robertovargas-arm/psci-v1.1
authordavidcunado-arm <david.cunado@arm.com>
Tue, 17 Oct 2017 11:18:23 +0000 (12:18 +0100)
committerGitHub <noreply@github.com>
Tue, 17 Oct 2017 11:18:23 +0000 (12:18 +0100)
Update PSCI to v1.1


Trivial merge