device tree for nexus 10