opencl: fix for #9547