CONFIG_PINCTRL_PISTACHIO (not configurable)
modulename: pinctrl-pistachio.ko
configname: CONFIG_PINCTRL_PISTACHIO
Linux Kernel Configuration
└─>
Device Drivers
└─>
Pin controllers
└─>
PINCTRL_PISTACHIO
In linux kernel since version 3.10
(release Date: 2013-06-30)