+/* Creates a new kernel thread named NAME, which executes
+ FUNCTION passing AUX as the argument. The thread is added to
+ the ready queue. Thus, it may be scheduled even before
+ thread_create() returns. If you need to ensure ordering, then
+ use synchronization, such as a semaphore. */