Update kernel.md