[mips32][PIC32-MAXI-WEB] generate SREC which is understood by some non-official fw flashing tools