altos: Get stm32l pwm driver working