# CONFIG_PINCTRL_IPQ4019 is not set