# CONFIG_VIDEO_STM32_DCMI is not set