Default I need a new kernel!

Sup guys, currently I'm using the 7/9 build of Mahdi ROM. I noticed the kernel that comes with the ROM only has Interactive and Performance governors. My phone pretty much stays hot and my battery is awful. Any recommendations for an AOSP kernel for D800?
Phone: Nexus 4 16GB
Rom: Paranoid Android
Kernel: Semaphore

Tablet: Asus TF700 32GB
Rom: CROMi-Xenogenesis 4.2.1
Kernel: Hundsbuah

If I helped please press the "Thanks" button.