Change the timerHardware_t to use the DEF_TIM macro