As part of installation on ubuntu, I see a kernel image under /usr/lib/kernel. 
Thanks