go to the galaxy nexus android dev section for your kernel needs. kernels for gnex are not variant dependent. that section(the gsm/maguro section named galaxy nexus android development) is the most active kernel threads.
way back there used to be separate threads for each device, but they are all the exact same kernel for each variant. so kernel releases and threads are there to keep things neat and tidy and easy to find.
a new kernel that everyone's been LOVING lately is DirtyV by @bsmitty83
give it a try!(I personally run his smittyV builds. but they are ALL great)