# CONFIG_PINCTRL_SUN9I_A80_R is not set