# CONFIG_SND_SOC_RT5631 is not set