So I recently found out that franco kernel is no longer compatible with cyanogenmod 11. I would like to know which is more battery efficient. Having franco kernel with stock rom or cyanogenmod with the kernel that is shipped with it? Does anyone have experience in this?