Merge pull request #770 from yatharth-arm/yk/AArch32_fixes
authordanh-arm <dan.handley@arm.com>
Thu, 8 Dec 2016 12:20:21 +0000 (12:20 +0000)
committerGitHub <noreply@github.com>
Thu, 8 Dec 2016 12:20:21 +0000 (12:20 +0000)
AArch32: Miscellaneous fixes in the AArch32 code


Trivial merge