Translate kernel.md