--- a/kernel/eka/kernel/arm/cipc.cia	Mon Jun 28 10:52:57 2010 +0100
+++ b/kernel/eka/kernel/arm/cipc.cia	Mon Jun 28 11:25:30 2010 +0100
@@ -432,6 +432,6 @@
 	asm(".word TheScheduler ");
 #endif
 	asm("__K_MsgInfo: ");
-	asm(".word  " CSM_ZN1K8MsgInfoE);
+	asm(".word  " CSM_ZN1K7MsgInfoE);
 	}
 #endif