[ARM] Fix various issues in ARM.

Coverity scan has detected several problems in Xvisor code.
This serie of patches fixes some of the problems related to
the ARM code.

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>
Signed-off-by: Anup Patel <anup@brainfault.org>