[Peaker]

4.0.1 is multiple versions behind even the 4.0 branch though. 4.0.4 is already available in the Galaxy Nexus models that run the Google-maintained version.