# CONFIG_SND_SOC_OMAP_HDMI is not set