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 963037b03d0c4638e2e8a5213a3c29228dec8382)
@@ -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 */