Add TCMI as built-in kernel