What's the best kernel to use with 4.1.1? I get some random reboots with Slayher's 1.25GHz kernel, so I'm switching to the 1.1GHz from Slayher for now. What do you guys use?