rust: rename platdev to platform.
#607
+4
−4
Merged
platdev to platform.
#607