[semenko]

See: http://forum.xda-developers.com/showthread.php?t=1419170

The OTA was released this morning (I've flashed my unlocked Galaxy Nexus to 4.2).