# CONFIG_PINCTRL_SC7280 is not set
