kernel location