# CONFIG_PINCTRL_SDX55 is not set
