bugfix for devicetree path