Index: kernel/arch/ia32/src/mm/frame.c
===================================================================
--- kernel/arch/ia32/src/mm/frame.c	(revision f651e80e2ba6968d9e184dd8ca7fa6e5b779caaf)
+++ kernel/arch/ia32/src/mm/frame.c	(revision 687c3cd5921e1d47b5311bdcf4dfbc5f55ee093b)
@@ -119,7 +119,4 @@
 			hardcoded_unmapped_kdata_size));
 #endif
-#ifdef CONFIG_SIMICS_FIX
-		minconf = max(minconf, ADDR2PFN(0x10000));
-#endif
 		init_e820_memory(minconf);
 
@@ -132,9 +129,4 @@
 			(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);
-#endif
 #endif
 	}