fix kernel name detection