CONFIG_PINCTRL_BERLIN (not configurable)

modulename: berlin.ko

configname: CONFIG_PINCTRL_BERLIN

Linux Kernel Configuration
└─>Device Drivers
└─>Pin controllers
└─>PINCTRL_BERLIN
In linux kernel since version 3.16 (release Date: 2014-08-03)
source code:
drivers/pinctrl/berlin/berlin.c