Merge pull request #1340 from Andre-ARM/sec-irqs-fixes
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Thu, 17 May 2018 13:35:34 +0000 (14:35 +0100)
committerGitHub <noreply@github.com>
Thu, 17 May 2018 13:35:34 +0000 (14:35 +0100)
Fix support for systems without secure interrupts


Trivial merge