# CONFIG_PINCTRL_SAMSUNG is not set