8064 /* kernel thread */