socl: fix cppcheck warnings

socl/examples/clinfo/clinfo.c

@@ -108,7 +108,7 @@ main(void) {
             unsigned int j;
             for (j=0; j<num_devices; j++) {
                cl_device_type dev_type;
-               printf("\n  DEVICE %d\n", j);
+               printf("\n  DEVICE %u\n", j);
 
                err = clGetDeviceInfo(devices[j], CL_DEVICE_TYPE, sizeof(dev_type), &dev_type, NULL);
                checkErr(err, "clGetDeviceInfo(CL_DEVICE_TYPE)");

socl/src/cl_createkernel.c

@@ -33,7 +33,7 @@ static void soclCreateKernel_task(void *data) {
    k->cl_kernels[range] = clCreateKernel(k->program->cl_programs[range], k->kernel_name, &err);
    if (err != CL_SUCCESS) {
       k->errcodes[range] = err;
-      ERROR_STOP("[Device %d] Unable to create kernel. Error %d. Aborting.\n", starpu_worker_get_id_check(), err);
+      ERROR_STOP("[Device %u] Unable to create kernel. Error %d. Aborting.\n", starpu_worker_get_id_check(), err);
       return;
    }