Index: kernel/arch/ia32/src/mm/frame.c
===================================================================
--- kernel/arch/ia32/src/mm/frame.c	(revision 25b9e2c5197173ccff86ba173e54eee48b85e79f)
+++ kernel/arch/ia32/src/mm/frame.c	(revision 62da45a052d2336d92cdd681cdde3e0d05b1665a)
@@ -62,9 +62,7 @@
 	for (i = 0; i < e820counter; i++) {
 		if (e820table[i].type == MEMMAP_MEMORY_AVAILABLE) {
-			start = ADDR2PFN(ALIGN_UP(e820table[i].base_address,
-						  FRAME_SIZE));
-			size = SIZE2FRAMES(ALIGN_DOWN(e820table[i].size,
-						   FRAME_SIZE));
-			if (minconf < start || minconf >= start + size)
+			start = ADDR2PFN(ALIGN_UP(e820table[i].base_address, FRAME_SIZE));
+			size = SIZE2FRAMES(ALIGN_DOWN(e820table[i].size, FRAME_SIZE));
+			if ((minconf < start) || (minconf >= start + size))
 				conf = start;
 			else
@@ -112,14 +110,13 @@
 {
 	static pfn_t minconf;
-
+	
 	if (config.cpu_active == 1) {
 		cmd_initialize(&e820_info);
 		cmd_register(&e820_info);
 
-
 		minconf = 1;
 #ifdef CONFIG_SMP
 		minconf = max(minconf,
-			      ADDR2PFN(AP_BOOT_OFFSET+hardcoded_unmapped_ktext_size + hardcoded_unmapped_kdata_size));
+			ADDR2PFN(AP_BOOT_OFFSET + hardcoded_unmapped_ktext_size + hardcoded_unmapped_kdata_size));
 #endif
 #ifdef CONFIG_SIMICS_FIX
@@ -134,9 +131,9 @@
 		/* Reserve AP real mode bootstrap memory */
 		frame_mark_unavailable(AP_BOOT_OFFSET >> FRAME_WIDTH, 
-				       (hardcoded_unmapped_ktext_size + hardcoded_unmapped_kdata_size) >> FRAME_WIDTH);
+			(hardcoded_unmapped_ktext_size + hardcoded_unmapped_kdata_size) >> FRAME_WIDTH);
 		
 #ifdef CONFIG_SIMICS_FIX
 		/* Don't know why, but these addresses help */
-		frame_mark_unavailable(0xd000 >> FRAME_WIDTH,3);
+		frame_mark_unavailable(0xd000 >> FRAME_WIDTH, 3);
 #endif
 #endif