--- a/kernel/eka/memmodel/epoc/moving/arm/xkernel.cpp	Wed Oct 06 17:13:14 2010 +0100
+++ b/kernel/eka/memmodel/epoc/moving/arm/xkernel.cpp	Mon Oct 11 17:54:41 2010 +0100
@@ -143,7 +143,7 @@
 		// override map attributes for shared kernel chunks
 		TUint ma = (iMapAttr &~ EMapAttrAccessMask) | EMapAttrSupRw;
 		TPde pde;
-		TInt r = m.PdePtePermissions(ma, pde, iPtePermissions);
+		TInt r = m.PdePtePermissions(ma, pde, iPtePermissions, ETrue);
 		if (r != KErrNone)
 			return r;
 		iMapAttr = ma;