# CONFIG_PINCTRL_SC8280XP is not set
