Add efficient realloc()
diff --git a/src/kernel/alloc.h b/src/kernel/alloc.h
index 4cb046d..7312ae2 100644
--- a/src/kernel/alloc.h
+++ b/src/kernel/alloc.h
@@ -9,5 +9,6 @@
 
 void *malloc(size_t size);
 void free(void *mem);
+void *realloc(void *mem, size_t size);
 
 void init_allocator();