# CONFIG_OMAP5_DSS_HDMI is not set