Thanks Meter 130
Join Date: Sep 2013
Location: most likely in school
If it contains boot.img, it most probably is the stock kernel.
Well, if not, I think you can get one from the files that you usually flash with Odin. I do remember seeing a boot.img in one of the compressed .tar files.
I am currently away to study for exams, so please do not PM me for anything.