Ports configs/etc to PIC32MX795