Interrupts were re-enabled by threadqueue_wait_on() before calling
sched_arch_yield() causing random errors during scheduling.