[PATCH 3.17-rc4 v5 4/6] irqchip: gic: Add support for IPI FIQ