fix a bug when devicetree gives wrong device id