Index: boot/arch/arm32/include/mm.h
===================================================================
--- boot/arch/arm32/include/mm.h	(revision f69ac6ca66afa6de17eead63bb2df5748f4658c3)
+++ boot/arch/arm32/include/mm.h	(revision fe6593b7a0db4b2a96d94af77e60e6b11687ef51)
@@ -81,5 +81,6 @@
 	unsigned int access_permission_0 : 2;
 	unsigned int tex : 3;
-	unsigned int access_permission_1 : 2;
+	unsigned int access_permission_1 : 1;
+	unsigned int shareable : 1;
 	unsigned int non_global : 1;
 	unsigned int should_be_zero_2 : 1;
Index: boot/arch/arm32/src/mm.c
===================================================================
--- boot/arch/arm32/src/mm.c	(revision f69ac6ca66afa6de17eead63bb2df5748f4658c3)
+++ boot/arch/arm32/src/mm.c	(revision fe6593b7a0db4b2a96d94af77e60e6b11687ef51)
@@ -103,4 +103,5 @@
 	pte->tex = 0;
 	pte->access_permission_1 = 0;
+	pte->shareable = 0;
 	pte->non_global = 0;
 	pte->should_be_zero_2 = 0;