irqchip/gic: WARN if setting the interrupt type for a PPI fails