Just wanted to check this ROM out. I'm currently on ViperRom with Elemental Kernel. In the OP, it says to manually flash the stock kernel. Is that just the Rohan Kernel? I know, sounds like a stupid question but I want to be sure so I don't explode my phone.