kern: Fix a typo in a source code comment
(cherry picked from commit 669d5ea4e3a5824520d3da7fc0beb9bf3d8d1a8f)