Update mmtk-core

Author: qinsoon

mmtk/Cargo.toml

@@ -26,7 +26,7 @@ lazy_static = "1.1"
 # - change branch
 # - change repo name
 # But other changes including adding/removing whitespaces in commented lines may break the CI.
-mmtk = { git = "https://github.com/mmtk/mmtk-core.git", rev = "4024354f125bc16f987023dcad4d359949f33546" }
+mmtk = { git = "https://github.com/mmtk/mmtk-core.git", rev = "f0a3f0d1284f2c53884fcb505cc2ca9cc2fdeef6" }
 # Uncomment the following to build locally
 # mmtk = { path = "../repos/mmtk-core" }