Bugfix: opencl: Ignore error getting device ids from platforms unless they are explicitly chosen

ocl.c

@@ -295,7 +295,7 @@ int clDevicesNum(void) {
 		status = clGetDeviceIDs(platform, CL_DEVICE_TYPE_GPU, 0, NULL, &numDevices);
 		if (status != CL_SUCCESS) {
 			applog(LOG_ERR, "Error %d: Getting Device IDs (num)", status);
-			if (i < numPlatforms - 1)
+			if (i != opt_platform_id)
 				continue;
 			return -1;
 		}