Clarify that the halt state of all harts is maintained through reset

This addresses the question from me on the mailing list and in today's
meeting. There were a few similar questions, so it seems worthwhile to
make things more explicit.