This is CyanogenMod kernel modified for better performance and battery life.