Merge pull request #716 from yatharth-arm/yk/AArch32_porting
authordavidcunado-arm <david.cunado@arm.com>
Fri, 23 Sep 2016 14:54:33 +0000 (15:54 +0100)
committerGitHub <noreply@github.com>
Fri, 23 Sep 2016 14:54:33 +0000 (15:54 +0100)
AArch32: Fix detection of virtualization support


Trivial merge