Update kernel.rst

fix typo, bad kernel example