Some Galaxy Nexus users receiving update to Android 4.0.2, wonder where their Jelly Beans are hiding