[PATCH OLK-6.6 03/30] irqchip/gic-v4.1: Extend VSGI command to support the new vPPI