Added checkKernelSourceFile and downloadSource function