DO JUMP fixes

This is the long overdue fix for the annoying #1196:

    Unable to read from Micro SD

It also fixes the error where the navigator would not continue a mission after the DO JUMPs are finished.

Along the lines come some whitespace and verbose info fixes, and an unused function definition.

Please review, it has been tested in HIL.
I see. Perhaps just updating the comment will help. It wasn't clear to me what it was trying to say.