updated kernel location