cuda.c: print_kernel_var: use isl_val