Fix namei to break out of loop manually
Fix namei to break out of loop manually

Loop invariant is not quite correct, but definition typechecks.

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl