# CONFIG_SND_HDA_INTEL_HDMI_SILENT_STREAM is not set
