Device tree for the Galaxy Nexus