--- sched_ule.c.orig    2019-08-14 14:35:46.028491000 +0200
+++ sched_ule.c 2019-08-14 14:35:57.834137000 +0200
@@ -1237,7 +1237,7 @@
         */
        pri = td->td_priority;
        if (td->td_priority <= PRI_MAX_ITHD && THREAD_CAN_SCHED(td, self) &&
-           curthread->td_intr_nesting_level && ts->ts_cpu != self) {
+           curthread->td_intr_nesting_level) {
                SCHED_STAT_INC(pickcpu_intrbind);
                ts->ts_cpu = self;
                if (TDQ_CPU(self)->tdq_lowpri > pri) {