scheduler_node: run dispatch() in reschedule() in case something is now schedulable (#3)