Merge pull request #1443 from jeenu-arm/sdei-fixes
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Fri, 22 Jun 2018 11:42:17 +0000 (12:42 +0100)
committerGitHub <noreply@github.com>
Fri, 22 Jun 2018 11:42:17 +0000 (12:42 +0100)
SDEI client EL determination fix


Trivial merge