Index: kernel/arch/amd64/src/mm/page.c
===================================================================
--- kernel/arch/amd64/src/mm/page.c	(revision 7cb567cd74caf371a5b1b053095a12b9bd1704a6)
+++ kernel/arch/amd64/src/mm/page.c	(revision 62da45a052d2336d92cdd681cdde3e0d05b1665a)
@@ -88,5 +88,5 @@
 	if (config.cpu_active == 1) {
 		page_mapping_operations = &pt_mapping_operations;
-		
+
 		/*
 		 * PA2KA(identity) mapping for all frames.
@@ -96,7 +96,8 @@
 			page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, identity_flags);
 		}
+		
 		/* Upper kernel mapping
 		 * - from zero to top of kernel (include bottom addresses
-		 *   because some are needed for init )
+		 *   because some are needed for init)
 		 */
 		for (cur = PA2KA_CODE(0); cur < config.base + config.kernel_size; cur += FRAME_SIZE)