Add VXC_KTHREAD.