# CONFIG_SND_SOC_INTEL_AVS_MACH_HDAUDIO is not set
