Update kernel.rst