RE: Kernel thread scheduling