kern: Fix a typo in asource code comment
(cherry picked from commit 2b7d656f173d7bf26a0c3f66226e797cbce98edb)