This allows PINCTRL to be selected manually to allow enabling of the
mcp23s08 i2c/spi gpio driver. Which is not platform specific.
Signed-off-by: Phil Reid <preid@electromag.com.au>
Reviewed-by: Sebastian Reichel <sebastian.reichel@collabora.co.uk>
Signed-off-by: Linus Walleij <linus.walleij@linaro.org>
 # PINCTRL infrastructure and drivers
 #
 
-config PINCTRL
-       bool
+menuconfig PINCTRL
+       bool "Pin controllers"
 
-menu "Pin controllers"
-       depends on PINCTRL
+if PINCTRL
 
 config GENERIC_PINCTRL_GROUPS
        bool
        depends on OF && ARC_PLAT_TB10X
        select GPIOLIB
 
-endmenu
+endif