# CONFIG_VIDEO_OMAP4 is not set