Linus responds to developer criticism of problems with Linux Scheduler