# CONFIG_VIDEO_VIVI is not set