[PATCH] remove kernel/kthread.c:kthread_stop_sem()