update devicetree plugin's naming convention