Fix a typo in Kernel docs
Merge pull request #2400 from alco/patch-3

Fix a typo in Kernel docs