cpu/stm32f1: use correct timer device in timer interrupt