# CONFIG_DRM_OMAP is not set