Index: kernel/arch/mips32/src/drivers/arc.c
===================================================================
--- kernel/arch/mips32/src/drivers/arc.c	(revision b5ed4f8617310b06cf9b34a72a976bd4eaad6a71)
+++ kernel/arch/mips32/src/drivers/arc.c	(revision 71eef11b8afe2eec0d0ac48ea6fce51144cb5b0c)
@@ -221,5 +221,5 @@
 		}	
 	} else
-		printf("%#10x %#10x free\n", 0, config.memory_size);
+		printf("%#10x %#10x free\n", 0, CONFIG_MEMORY_SIZE);
 }
 
@@ -363,5 +363,4 @@
 	if (arc_enabled()) {
 		arc_memdescriptor_t *desc;
-		int total = 0;
 		uintptr_t base;
 		size_t basesize;
@@ -380,6 +379,4 @@
 				basesize = ALIGN_DOWN(basesize, FRAME_SIZE);
 	
-				total += basesize;
-				
 				zone_create(ADDR2PFN(base), SIZE2FRAMES(basesize),
 					    ADDR2PFN(base), 0);
@@ -388,5 +385,4 @@
 		}
 	
-		config.memory_size = total;
 		return true;
 	}
Index: kernel/arch/mips32/src/mm/frame.c
===================================================================
--- kernel/arch/mips32/src/mm/frame.c	(revision b5ed4f8617310b06cf9b34a72a976bd4eaad6a71)
+++ kernel/arch/mips32/src/mm/frame.c	(revision 71eef11b8afe2eec0d0ac48ea6fce51144cb5b0c)
@@ -47,5 +47,5 @@
 {
 	if (!arc_frame_init()) {
-		zone_create(0, ADDR2PFN(config.memory_size), 1, 0);
+		zone_create(0, ADDR2PFN(CONFIG_MEMORY_SIZE), 1, 0);
 		/*
 		 * Blacklist interrupt vector