Re: [RFC v2 01/10] arm: fiq: Allow EOI to be communicated to the intc