diff --git a/src/kernel/boot/loader/main.cpp b/src/kernel/boot/loader/main.cpp
index 25e55ac8cd..8bb0d23e43 100644
--- a/src/kernel/boot/loader/main.cpp
+++ b/src/kernel/boot/loader/main.cpp
@@ -24,6 +24,9 @@
 #endif
 
 
+kernel_args gKernelArgs;
+
+
 extern "C" int
 main(stage2_args *args)
 {
@@ -95,7 +98,7 @@ main(stage2_args *args)
 	}
 
 out:
-	heap_release();
+	heap_release(args);
 	return 0;
 }