DOC fix kernels documentation inconsistencies

Fixes gh-3916, gh-2901.