--- 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