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