kern: Fix a typo in a source code comment
(cherry picked from commit 15ce9a0544e9d850fb332b4bae3313ff38584d61)