Update the header file included in the PIC32 port_asm.S file to use the header for the latest compiler version.