[RFC PATCH 3/3] irqchip: gic: Add support for IPI FIQ