flash: add new devices to pic32mx flash driver