But what if the model is used to write parts of the kernel?