update PIC32 support