# CONFIG_VIDEO_MAX96712 is not set
