# CONFIG_PWM_IMX27 is not set