--- a/kernel/eka/include/nkern/nk_cpu.h	Tue Jan 19 13:48:03 2010 +0000
+++ b/kernel/eka/include/nkern/nk_cpu.h	Mon Jan 18 21:31:10 2010 +0200
@@ -130,7 +130,7 @@
 	#endif
 	#endif
 
-	#if (defined(__CPU_ARM1136__) && defined(__CPU_ARM1136_ERRATUM_399234_FIXED)) || (defined(__CPU_ARM11MP__) && defined (__SMP__) )
+	#if (defined(__CPU_ARM1136__) && defined(__CPU_ARM1136_ERRATUM_399234_FIXED) && !defined(__MEMMODEL_FLEXIBLE__)) || (defined(__CPU_ARM11MP__) && defined (__SMP__) )
 	// Page tables on these platforms are either uncached or write through cached.
 	#else
 	// Page/directory tables are fully cached (write-back) on these platforms.