Moving devtree from ot11 to ot16