Update kernel.rst

fix typo and bad example