# CONFIG_PINCTRL_SDX65 is not set
