try EC10 kernel, seems better overall and better battery wise, but that's a quick impression, ymmv
http://forum.androidcentral.com/ver...s-hacks/70491-real-time-too-ec10-kernels.html
http://forum.androidcentral.com/ver...s-hacks/70491-real-time-too-ec10-kernels.html