TELUS users reporting OS 4.0.2 update for the Galaxy Nexus