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