[ros-diffs] [hpoussin] 19813: HMACHINE and DEVINST are not the same thing. Fix their usage