I'm currently on an arc reactor kernel with latest viper4g. Everything is great except when I try to stream a movie out the through hdmi. It goes into slow motion. I've posted about this on here (someone else had same issues as well) and at xda but I guess thicklizard never found out what was wrong. Anyways, great kernel except for that, and I'd like to return to the kernel that came stock with viper WITHOUT re flashing the rom. Seems I read some place some time ago on how to do this but I can't remember and a few things I tried won't work. Thought I could flash the boot.img through twrp but dunno? How would I go about accomplishing what I'm trying to do?