3840 /* The channel kernel thread */