diff -r 38a7352e23d3 -r 0d42d469e749 kernel/eka/include/cpudefs.h
--- a/kernel/eka/include/cpudefs.h	Wed Jun 30 18:53:50 2010 +0100
+++ b/kernel/eka/include/cpudefs.h	Fri Jul 02 09:53:45 2010 +0100
@@ -245,10 +245,10 @@
 	#define __HEAP_MACHINE_CODED__
 	#define __REALS_MACHINE_CODED__
 	#define __COBJECT_MACHINE_CODED__
-	#define __CACTIVESCHEDULER_MACHINE_CODED__
-	#define __CSERVER_MACHINE_CODED__
-//	#define __ARRAY_MACHINE_CODED__ IMK working around bug #2976
-	#define __HUFFMAN_MACHINE_CODED__
+//	#define __CACTIVESCHEDULER_MACHINE_CODED__ IMK: working around bug #1409
+//	#define __CSERVER_MACHINE_CODED__ IMK: working around bug #1409
+//	#define __ARRAY_MACHINE_CODED__ IMK: working around bug #2976, #2976 
+//	#define __HUFFMAN_MACHINE_CODED__ IMK: working around bug #1409
 #if defined(__MARM_ARM4__) || defined(__MARM_ARMI__) || defined(__MARM_THUMB__) || defined(__MARM_ARMV4__) || defined(__MARM_ARMV5__)
 	#define __DES16_MACHINE_CODED_HWORD__
 #endif