ithread: Annotate a branch in ithread_execute_handlers()
No functional change intended.
Reviewed by: kib, jhb
MFC after: 2 weeks
Differential Revision: https://reviews.freebsd.org/D45491
(cherry picked from commit c122d7ffad5efb31e1aa5035cb1a26ad2e479074)