# CONFIG_PINCTRL_IMX35 is not set