[PATCH OLK-6.6 05/30] irqchip/gic-v4.1: Rework its_alloc_vcpu_sgis() to support vPPI allocation