more devicetree fixes