Index: kernel/generic/include/config.h
===================================================================
--- kernel/generic/include/config.h	(revision b0c2075a579bc0b7840d9dd5002780f078d9c041)
+++ kernel/generic/include/config.h	(revision eb40d8688e66694e02d416a9edd3f2c3f0caeb22)
@@ -94,5 +94,5 @@
 	/** Size of initial stack. */
 	size_t stack_size;
-
+	
 	bool identity_configured;
 	/** Base address of the kernel identity mapped memory. */
@@ -100,7 +100,7 @@
 	/** Size of the kernel identity mapped memory. */
 	size_t identity_size;
-
-	bool non_identity_configured;   
-
+	
+	bool non_identity_configured;
+	
 	/** End of physical memory. */
 	uint64_t physmem_end;