Fix a typo in Kernel docs