PiOS Servo: Set prescalers correctly

On the STM32 microcontrollers, the timer clocks are doubled if the timer
clock prescaler is other than 1.