Add realloc method to rust_kernel

src/rt/rust_kernel.cpp

@@ -206,6 +206,11 @@ rust_kernel::malloc(size_t size) {
     return _region->malloc(size);
 }
 
+void *
+rust_kernel::realloc(void *mem, size_t size) {
+    return _region->realloc(mem, size);
+}
+
 void rust_kernel::free(void *mem) {
     _region->free(mem);
 }

src/rt/rust_kernel.h

@@ -110,6 +110,7 @@ public:
     virtual ~rust_kernel();
 
     void *malloc(size_t size);
+    void *realloc(void *mem, size_t size);
     void free(void *mem);
 
     // FIXME: this should go away