fix typo in kernel repo