A Google search turned up this relevant thread
So you may want to check if the cuda-gdb is able to single step through OpenCL kernels.
And this blog posting may be of interest too, as it shows that there has been some activity in the OpenCL support at nVidia.