# CONFIG_VIDEO_SH_VEU is not set