I'm not entirely sure here, but it appears that when calling onk_work_submit_to_queue()from an ISR it doesn't reschedule to do that work when running on a single core. It will just go to idle as if there is nothing to do. It only does the work once something else finally calls...