If I was to install, say, the Liquid Smooth ROM onto my i717 (I have a good amount of experience with flashing ROMs, so that much I know,) specifically, the KitKat version, it lists kernels in the download links. Would these kernels be included with the ROM files themselves, i.e. install at the same time as the ROM, or would I have to flash the kernel separately before flashing the ROM? Thank you VERY much in advance