ARM: KVM: VGIC initialisation code