[ARM] vgic: Optimizations and cleanups.

This patch improves the performance of HW-assisted GICv2 emulation with
some additional code cleanups.

Signed-off-by: Anup Patel <anup@brainfault.org>