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