irqchip/gic-v3: Add support for partitioned PPIs