Index: generic/src/mm/frame.c
===================================================================
--- generic/src/mm/frame.c	(revision 80d2bdbb59aff7f143abc484128e57a0c2b47e47)
+++ generic/src/mm/frame.c	(revision 5753fbb46440d4f6fb6f2bbc7cfe0f3b24ba615a)
@@ -70,4 +70,6 @@
 	if (config.cpu_active == 1) {
 		frame_region_not_free(KA2PA(config.base), config.kernel_size);
+		if (config.init_size > 0)
+			frame_region_not_free(KA2PA(config.init_addr), config.init_size);
 	}