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 bb75646c1e184874a4e6c6e604d37c3bc9608420)
@@ -112,5 +112,5 @@
 		 */
 		write_barrier();
-		SET_PTL2_PRESENT(ptl1, PTL1_INDEX(page));	
+		SET_PTL2_PRESENT(ptl1, PTL1_INDEX(page));
 	}