[PATCH 05/23] KVM: arm64: Move GIC model out of the distributor