fix broken files

kernel/syscall.c

@@ -9481,4 +9481,3 @@ long syscall(int num, ihk_mc_user_context_t *ctx)
 
 	return l;
 }
-

lib/string.c

@@ -354,4 +354,19 @@ int flatten_strings_from_user(int nr_strings, char *first, char **strings, char
 		p = strchr(p, '\0') + 1;
 	}
 
-	for (string_i = 0; string_i < nr_strings; ++string_
+	for (string_i = 0; string_i < nr_strings; ++string_i) {
+		char *userp;
+		_flat[n++] = p - (char *)_flat;
+
+		ret = getlong_user((long *)&userp, (void *)(strings + string_i));
+		if (ret < 0)
+			return ret;
+
+		strcpy_from_user(p, userp);
+		p = strchr(p, '\0') + 1;
+	}
+	_flat[n] = 0;
+
+	*flat = (char *)_flat;
+	return full_len;
+}