I'm worried about the stm32_tim_getcounter funtion. It returns always 32 bits....

I'm worried about the stm32_tim_getcounter funtion. It returns always 32 bits. But major stm32 timers have 16 bits counters. I think, it's not a good idea to return the memory behind the TIMx_CNT register.  This changes adds the register size checking.