Mali OpenCL SDK contains the OpenCL driver to be able to run OpenCL code on Mali GPU, like Intel OpenCL driver is to be able to run OpenCL code on Intel iGPU or Nvidia OpenCL driver for Nvidia GPU
OpenCL OpenCV is just some OpenCL code (similar to C++ OpenCV code in term of sentence)