kernel: fix typo in replaced symbol