CONFIG_PINCTRL_DIGICOLOR (not configurable)
modulename: pinctrl-digicolor.ko
configname: CONFIG_PINCTRL_DIGICOLOR
Linux Kernel Configuration
└─>Device Drivers
└─>Pin controllers
└─>Device Tree and Open Firmware support
└─>PINCTRL_DIGICOLOR