fix kernel name