pic32-gcc: add cross-compiler for pic32mx processors