ARM: KVM: VGIC control interface world switch