diff -r 36bfc973b146 -r 329ab0095843 kernel/eka/include/nkern/nk_cpu.h
--- a/kernel/eka/include/nkern/nk_cpu.h	Thu Jan 07 13:38:45 2010 +0200
+++ 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.