Index: boot/genarch/src/ofw_tree.c
===================================================================
--- boot/genarch/src/ofw_tree.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ boot/genarch/src/ofw_tree.c	(revision 70327bb9f8beeef8e3cc1229413c660b112b143e)
@@ -110,5 +110,7 @@
 		/* Find last slash */
 		size_t i;
-		for (i = len; (i > 0) && (path[i - 1] != '/'); i--);
+		i = len;
+		while (i > 0 && path[i - 1] != '/')
+			i--;
 
 		/* Do not include the slash */