# CONFIG_SND_HDA_CODEC_HDMI is not set
