>> Saturday, August 10, 2013
I submitted this post without fully examining OpenCL on the Android. Please see the next post.
I have a high opinion of Rahul Garg, but his article conflicts with my experience. I just installed the 4.3 factory image for the Nexus 10, and using adb, I verified that libGLES_mali.so was still in the system/vendor/lib/egl directory. When I launched my OpenCL testing app, it told me the GPU supports OpenCL 1.1. For the Nexus 10 at least, it appears that OpenCL development is still available.
I don't own a Nexus 7, so I can't answer as to whether its libraries are still available or not.