Re: [PATCH v6 2/4] arm: fiq: Allow EOI to be communicated to the intc