Nexus Kernel topic

My girlfriend uses my old Galaxy Nexus as a daily phone but it lags as hell (Current ROM is the CM11 which based on 4.4.4)...

Is there any ROM and kernel combo for GN which makes it more responsive and smooth ?