# CONFIG_PWM_IMX1 is not set