# CONFIG_PINCTRL_INTEL is not set
