Fix timer_shutdown on 32u4 chip