Index: kernel/generic/src/mm/page.c
===================================================================
--- kernel/generic/src/mm/page.c	(revision 7bcfbbc039dd4d392dc880cbc1a87b94b7ca853f)
+++ kernel/generic/src/mm/page.c	(revision 7cb567cd74caf371a5b1b053095a12b9bd1704a6)
@@ -77,5 +77,5 @@
 
 	for (i = 0; i < cnt; i++)
-		page_mapping_insert(AS_KERNEL, s + i * PAGE_SIZE, s + i * PAGE_SIZE, PAGE_NOT_CACHEABLE);
+		page_mapping_insert(AS_KERNEL, s + i * PAGE_SIZE, s + i * PAGE_SIZE, PAGE_NOT_CACHEABLE | PAGE_WRITE);
 
 }