Documentation: update kernel-docs.txt