Index: arch/amd64/src/mm/page.c
===================================================================
--- arch/amd64/src/mm/page.c	(revision 49a39c2c0d1933132d867a05b71cfac2264eab4b)
+++ arch/amd64/src/mm/page.c	(revision 5e3757dcfae6da1c144148796d220e496a470e3f)
@@ -45,5 +45,5 @@
 	if (config.cpu_active == 1) {
 		page_mapping_operations = &pt_mapping_operations;
-	
+		
 		/*
 		 * PA2KA(identity) mapping for all frames.
@@ -52,5 +52,4 @@
 			page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, PAGE_CACHEABLE | PAGE_EXEC);
 		}
-
 		exc_register(14, "page_fault", (iroutine)page_fault);
 		write_cr3((__address) AS_KERNEL->page_table);