[PATCH v2 1/2] ARM: dts: TS-4800: add FPGA's IRQ controller support

[Shawn Guo]

On Thu, Jun 09, 2016 at 10:46:49AM -0400, Damien Riegel wrote:
> Enable FPGA's IRQ controller. It is in charge of dispatching interrupts
> generated by IPs in the FPGA. The SoC is notified that an interrupt
> occurred through a GPIO.
> 
> Signed-off-by: Damien Riegel <damien.riegel at savoirfairelinux.com>

Applied both, thanks.