# CONFIG_VIDEO_VD56G3 is not set
