Re: Custom Linux Kernel Scheduler issue