Index: kernel/genarch/src/mm/page_pt.c
===================================================================
--- kernel/genarch/src/mm/page_pt.c	(revision e13ba75c0bf5e01b37f70e52768e10b9d10c6d1b)
+++ kernel/genarch/src/mm/page_pt.c	(revision e40b80662ddc08fed1ee4e0ac0dc40f4bea53eaa)
@@ -112,5 +112,5 @@
 		 */
 		write_barrier();
-		SET_PTL2_PRESENT(ptl1, PTL1_INDEX(page));	
+		SET_PTL2_PRESENT(ptl1, PTL1_INDEX(page));
 	}