Device tree for Galaxy Nexus