Fix robohatmm1 unknown board

Author: makermelissa

_data/files.json

@@ -5819,7 +5819,7 @@
     },
     {
         "downloads": 20,
-        "id": "robohatmm1",
+        "id": "robohatmm1_m4",
         "versions": [
             {
                 "files": {