Merge pull request #1059 from kenkuang/intergration
authordavidcunado-arm <david.cunado@arm.com>
Fri, 25 Aug 2017 16:25:39 +0000 (17:25 +0100)
committerGitHub <noreply@github.com>
Fri, 25 Aug 2017 16:25:39 +0000 (17:25 +0100)
fix a typo abort sctlr_el2


Trivial merge