dt/bindings: Add bindings for PIC32 interrupt controller