Merge pull request #1159 from jeenu-arm/sdei-fix
authordavidcunado-arm <david.cunado@arm.com>
Tue, 14 Nov 2017 09:25:50 +0000 (09:25 +0000)
committerGitHub <noreply@github.com>
Tue, 14 Nov 2017 09:25:50 +0000 (09:25 +0000)
SDEI: Fix build error with logging enabled


Trivial merge