Index: kernel/genarch/src/ofw/ofw_tree.c
===================================================================
--- kernel/genarch/src/ofw/ofw_tree.c	(revision 53ad43cce05b0004bca31a7c5d6822fc33686cf1)
+++ kernel/genarch/src/ofw/ofw_tree.c	(revision a35a3d819d4e2e4e35964eea617087b5c6431b02)
@@ -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 */