[ARM] pass2: Fix various issues in ARM code

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

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>