Index: kernel/arch/arm32/include/mm/page_fault.h
===================================================================
--- kernel/arch/arm32/include/mm/page_fault.h	(revision ecd1a0aa0746649b810764037fa03dca950f5122)
+++ kernel/arch/arm32/include/mm/page_fault.h	(revision 8776c46e55af36d63be4369ca675764e996a105c)
@@ -49,9 +49,11 @@
 		unsigned domain : 4;
 		unsigned zero : 1;
-		unsigned sbz0 : 1;
+		unsigned lpae : 1; /**< Needs LPAE support implemented */
 		unsigned fs : 1; /**< armv6+ mandated, earlier IPLM. DEFINED */
 		unsigned wr : 1; /**< armv6+ only */
-		unsigned should_be_zero : 20;
-	} ATTRIBUTE_PACKED data;
+		unsigned ext : 1 ; /**< external abort */
+		unsigned cm : 1; /**< Cache maintenance, needs LPAE support */
+		unsigned should_be_zero : 18;
+	} data;
 	struct {
 		unsigned status : 4;
@@ -59,5 +61,5 @@
 		unsigned fs : 1;
 		unsigned should_be_zero : 21;
-	} ATTRIBUTE_PACKED inst;
+	} inst;
 	uint32_t raw;
 } fault_status_t;