Upgrade pxt-microbit-core to 0.4.1

libs/microbit/core.cpp

@@ -196,6 +196,8 @@ namespace pxt {
   int programHash();
   //%
   void *ptrOfLiteral(int offset);
+  //%
+  int getNumGlobals();
 }
 
 namespace pxtrt {
@@ -308,11 +310,6 @@ namespace pxtrt {
   // Debugger
   //
 
-  //%
-  uint32_t getNumGlobals() {
-    return numGlobals;
-  }
-
   //%
   void* getGlobalsPtr() {
     return globals;

pxtarget.json

@@ -81,7 +81,7 @@
         "yottaTarget": "bbc-microbit-classic-gcc",
         "yottaCorePackage": "pxt-microbit-core",
         "githubCorePackage": "microsoft/pxt-microbit-core",
-        "gittag": "v0.3.1",
+        "gittag": "v0.4.1",
         "serviceId": "ws"
     },
     "serial": {