TCMI as kernel part, not module