ebpf_functions: Modify function debian_kernel_version to be compatible with Debian 10.

src/libbpf_probes.c

@@ -74,7 +74,11 @@ static __u32 get_debian_kernel_version(struct utsname *info)
 	if (sscanf(p, "Debian %u.%u.%u", &major, &minor, &patch) != 3)
 		return 0;
 
-	return KERNEL_VERSION(major, minor, patch);
+	// Patch to run on Debian 10
+	if (major == 4 && minor == 19)
+		return KERNEL_VERSION(major, minor, 255);
+        else
+		return KERNEL_VERSION(major, minor, patch);
 }
 
 __u32 get_kernel_version(void)