4c5b2be1d071 ("irqchip/gic: Improved warning about incorrect type")