pic32mx: 0 wait state option