Index: kernel/genarch/src/ofw/ofw_tree.c
===================================================================
--- kernel/genarch/src/ofw/ofw_tree.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/genarch/src/ofw/ofw_tree.c	(revision 5b61171402bf41905f2575034ebd820663168e72)
@@ -251,5 +251,7 @@
 
 	for (size_t i = 1; (i < str_size(path)) && (node); i = j + 1) {
-		for (j = i; (j < str_size(path)) && (path[j] != '/'); j++);
+		j = i;
+		while (j < str_size(path) && path[j] != '/')
+			j++;
 
 		/* Skip extra slashes */