# CONFIG_PINCTRL_IPQ5424 is not set
