This prevented the mixer scheduler to work properly on `horus` targets, which is the only one using `TIM13`.