I tried adding the .so file to the hellocl example, and got the following error:
/usr/lib/gcc-cross/aarch64-linux-gnu/7/../../../../aarch64-linux-gnu/bin/ld: warning: libcutils.so.0, needed by /usr/lib/../lib/libOpenCL.so, not found (try using -rpath or -rpath-link)
/usr/lib/../lib/libOpenCL.so: undefined reference to `property_get'
and when adding it to our OpenCV application, OpenCV still cannot find any OpenCL devices. I suspect OpenCV needs to be recompiled with the .so file in the docker image.
This issue is not immediately pressing, so if you intend to update the voxl-cross image I can wait for that instead of trying to create a fix.