# CONFIG_SND_SOC_INTEL_BDW_RT5650_MACH is not set
