# CONFIG_PINCTRL_SUN6I_A31_R is not set