Index: boot/arch/arm32/include/mm.h
===================================================================
--- boot/arch/arm32/include/mm.h	(revision 6968948581aef38fdbe76fe199a34ff76b3f1572)
+++ boot/arch/arm32/include/mm.h	(revision 124a1cefb116867ae31a79dfb959bfec793677ac)
@@ -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;