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 7208b6cc46de53e520a0beb3636047d8e17c072c)
@@ -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;
 	}