IMX51 pinctrl driver

modulename: pinctrl-imx51.ko

configname: CONFIG_PINCTRL_IMX51

Linux Kernel Configuration
└─>Device Drivers
└─>Pin controllers
└─>IMX51 pinctrl driver
In linux kernel since version 3.1 (release Date: 2011-10-24)  
Say Y here to enable the imx51 pinctrl driver

source code: