# CONFIG_SND_SOC_RT5640 is not set
