[PATCH] ARM: irq_work: Do not attempt to IPI on non IPI-capable HW

[Fabio Estevam]

Hi Peter,

On Wed, Aug 17, 2016 at 9:57 AM, Marc Zyngier <marc.zyngier at arm.com> wrote:

> Look, we've been there before. For your platform to work with your
> configuration, you need the GIC patch that I already posted, and that
> has been tested by Fabio Estevam on the same A7 platform.

Yes, here is Marc's GIC patch that fixes the 'reboot' hang on mx6ul:
http://www.spinics.net/lists/arm-kernel/msg522576.html