IRQCHIP: irq-pic32-evic: Add support for PIC32 interrupt controller