kernel invocation generation now sets the right number of CL_KERNEL_ARGS