[PATCH 4.16 036/279] KVM: arm/arm64: vgic: Kick new VCPU on interrupt migration