arm64: adjust comments in dbg_monitor_exit()

These comments were copied from dbg_monitor_enter(), but the intended
modifications weren't made. Update them to reflect what this code
actually does.

Sponsored by: The FreeBSD Foundation

(cherry picked from commit 5742f2d89c03311e8b2d92422c0e2e4063cb2e1d)