typo: fix kernel name