# CONFIG_PINCTRL_TH1520 is not set
