Specific support for the pic32mx470f512h device is added along with code common to all pic32mx devices.