Corrected kernel location