libroot: Do not rely on thread_yield()
kernel: Add scheduler_op for dumping thread data
kernel: Give longer time slice to lower priority threads