My best advice you just root your phone and install one. I recommend Maddoggin's Jellybean rom. Working flawlessly.
Sent from my Galaxy Nexus using Tapatalk 2
Been running it for a couple of months now unless you're talking about something OTA, which may or may not happen, who knows?
Sent from my Galaxy Nexus using Tapatalk 2