Fix definition of kern_thread_create() in syscall.def