Use a single repo for device tree again