You can use 1.40 vengeance kernel with gimlo rom.....i come from cm10 and miui.....believe me ...this rom is pretty fast.....and with vengeance kernel, i get 5041 score in antutu benchmark .
Earlier this vengeance kernel was very unstable......but now with gimlo ,this is behaving very well.....no doubt there are some some reboots when you strain the cpu a lot but thats very predictable
And one funny thing....i can play subway surfers all day long without any reboot ...hhaahaaa my fav game
If you get unstabilities, you can always switch back to stock...or better set the vengeance kernel to 800 (its rock stable there) and still you ll get 200 more points than stock
Its a win-win situation .
Below is my setup
Sent from my ST21i using xda premium