Bootloader for the PIC32