# CONFIG_PINCTRL_SDX75 is not set
