I found a nice widget that replaces 4-way reboot:
Reboot Widget for Root User by Fadroid
It's simple, and very practical...
Thought you might like this!
I'm sorry... personally I never had that issue. I switched to miui three weeks ago. I never had a problem like that.
Sent from my GT-I9100 using Tapatalk 2
9.x is for cm or aokp based roms
8.x samsung based roms
Since miui is samsung based 8.x is the right kernel...
Hope this clears things up.
Sent from my GT-I9100 using Tapatalk 2