fix kernel location