IMX25 pinctrl driver

modulename: pinctrl-imx25.ko

configname: CONFIG_PINCTRL_IMX25

Linux Kernel Configuration
└─>Device Drivers
└─>Pin controllers
└─>Device Tree and Open Firmware support
└─>IMX25 pinctrl driver
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Say Y here to enable the imx25 pinctrl driver

source code: