Merge pull request #1084 from davidcunado-arm/dc/warmboot_a32
authordavidcunado-arm <david.cunado@arm.com>
Mon, 11 Sep 2017 10:21:08 +0000 (11:21 +0100)
committerGitHub <noreply@github.com>
Mon, 11 Sep 2017 10:21:08 +0000 (11:21 +0100)
Set NS version SCTLR during warmboot path


Trivial merge