Debugging device tree issues