# CONFIG_PWM_STMPE is not set