Index: kernel/genarch/src/mm/page_pt.c
===================================================================
--- kernel/genarch/src/mm/page_pt.c	(revision de7324276debcfdfbba7704cc0cf96a790fec9b2)
+++ 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));
 	}