# CONFIG_PWM is not set