kern: Fix a typo in a source code comment
(cherry picked from commit 768f9b8b8bf7ca2f0b45bf6d7fde1a38f800c68d)