Index: kernel/arch/arm32/include/arch/mm/page_fault.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/page_fault.h	(revision 53ad43cce05b0004bca31a7c5d6822fc33686cf1)
+++ kernel/arch/arm32/include/arch/mm/page_fault.h	(revision 2f1c88e88f3d33245f94ca59d2b772d4dd5d1f56)
@@ -58,5 +58,5 @@
 		unsigned fs : 1; /**< armv6+ mandated, earlier IPLM. DEFINED */
 		unsigned wr : 1; /**< armv6+ only */
-		unsigned ext : 1 ; /**< external abort */
+		unsigned ext : 1; /**< external abort */
 		unsigned cm : 1; /**< Cache maintenance, needs LPAE support */
 		unsigned should_be_zero : 18;