Kernel threads scheduling works!