What up y'all...Just wanted to post this for those who want to try stock 4.2 ROM...Hit up the developer on the original thread..I've been running this for a few days and it's very stable and Muzzy has tremendous support on the thread..
[ROM] [AOSP] MMuzzy's Jelly Bean - 4.2 - JOP40C - Now with more December! 11/18/12 - xda-developers
This is stock ROM with reboot options in power menu.
Also here's a few kernels I've tried for 4.2 ROMS:
Tiny 2.0.0- [KERNEL]Tinykernel 2.0.0(4.2)/1.7(4.1.2) [JB] Updated 11/16/12 - [VZW] Galaxy Nexus Development - RootzWiki
Trinity Alpha 4- DerKernel - Jelly Bean Nexus Prime (experimental tab)
Zen v7- [KERNEL] {ADA} *4.1/4.2* v3.0.51 ZenSERIES v7 *GhostProtocol* {Jelly Bean} [KERNEL] - [VZW] Galaxy Nexus Development - RootzWiki