Is stock Kernel included in stock image from google site?

view story

http://androidforums.com – Hey guys. I was just wondering if the stock image for N4 that can be downloaded from google site already include stock Kernel or do I have to reflash the stock Kernel if I already flashed other kernels? What I'm trying to do is, restore it back to bone stock without any mods. (General)