Added new PIC32 port
Merged yesterday and today's job