Index: arch/ia32/src/ia32.c
===================================================================
--- arch/ia32/src/ia32.c	(revision cb4b61d90a7db05768043294b12025328b4f7a02)
+++ arch/ia32/src/ia32.c	(revision 7eade4519d32ca5af0efca0a7b73c67a90d6167f)
@@ -51,9 +51,8 @@
 
 	if (config.cpu_active == 1) {
-		ega_init();	/* video */
 		i8042_init();	/* a20 bit */
-		i8259_init();	/* PIC */
+	    	i8259_init();	/* PIC */
 		i8254_init();	/* hard clock */
-		
+
 		trap_register(VECTOR_SYSCALL, syscall);
 		
@@ -65,4 +64,9 @@
 }
 
+void arch_post_mm_init()
+{
+	ega_init();	/* video */
+}
+
 void calibrate_delay_loop(void)
 {
Index: arch/mips/src/mips.c
===================================================================
--- arch/mips/src/mips.c	(revision cb4b61d90a7db05768043294b12025328b4f7a02)
+++ arch/mips/src/mips.c	(revision 7eade4519d32ca5af0efca0a7b73c67a90d6167f)
@@ -50,2 +50,6 @@
 	cp0_count_write(0);
 }
+
+void arch_post_mm_init(void)
+{
+}