Merge pull request #1624 from glneo/less-cache-flushing
authorSoby Mathew <soby.mathew@arm.com>
Fri, 12 Oct 2018 13:16:57 +0000 (14:16 +0100)
committerGitHub <noreply@github.com>
Fri, 12 Oct 2018 13:16:57 +0000 (14:16 +0100)
PSCI cache flush and comment fixup


Trivial merge