# CONFIG_OMAP4_DSS_HDMI is not set