/* * Wait for a kthread to exit, as pthread_join(). */