fix device tree repo