STM32F4 Bare Metal Programming - Timers: Pulse Width Modulation (PWM)