pic32mx: add new device ID, 17x/27x Flash support