Added kernel docs to toctree