Changing IO_KERN_SCHED_POL from SCHED_RR => SCHED_OTHER. This caused an unbalanced kernel thread scheduling, when more than one thread was having a high load. fixes #10