You know what a kernel is ? The kernel is the boot.img (which he clearly flashed according to the op) and is combined with separate modules that are installed in the system partition of the running rom.
XDA Developers was founded by developers, for developers. It is now a valuable resource for people who want to make the most of their mobile devices, from customizing the look and feel to adding new functionality. Are you a developer? | Terms of Service