PIC32 usb device stack