There have been some Jelly Bean updates for Galaxy Nexus, but most of these are specific to a certain variant of the Nexus. **How can I easily find out which variant I have?**