PIC32: add Microchip Explorer16 cfg