# CONFIG_VIDEO_S5K3M5 is not set
