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