# CONFIG_PINCTRL_DENVERTON is not set
