# CONFIG_SND_SOC_HDMI_CODEC is not set
