spawn_kernel_thread_etc
thread_id spawn_kernel_thread_etc(thread_func, const char *name, int32 priority,
nubThread = spawn_kernel_thread_etc(debug_nub_thread, nameBuffer,