# CONFIG_PWM_STM32 is not set