pic32: update pic32mx flash driver