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