When Miui releases the galaxy nexus official build it will be based off of 4.2..http://en.miui.com/thread-3454-1-1.html This is the donor you will want to use when its ported...I'm not sure if I'm going to attempt to do it or not as I have been playing around with my S4..
This will then use CM 10.1 builds instead of the older CM 10....or Whatever build they are up to for 4.2.2..
Thank god, sick of the GPS and Bluetooth issues of 4.1....
Sent from my SGH-T999 using xda app-developers app