kernel: fix typo