original timer files for configuring using Chibios timers