Update kernel.rst

fix typo, example