Index: src/mm/vm.c
===================================================================
--- src/mm/vm.c	(revision db3341ea232ed26a8984fcd429c5009252e4a972)
+++ src/mm/vm.c	(revision de25b6f1041f235871f2c6ea0830caa7be2d4449)
@@ -67,5 +67,8 @@
 			src_ptl0 = (pte_t *) PA2KA((__address) GET_PTL0_ADDRESS());
 			dst_ptl0 = (pte_t *) frame_alloc(FRAME_KA | FRAME_PANIC);
+
+			/* TODO: in theory, it should be only necessary to copy kernel address space... */
 			memcpy((void *)PA2KA((__address) dst_ptl0), (void *)GET_PTL0_ADDRESS() , PAGE_SIZE);
+
 			m->ptl0 = (pte_t *) KA2PA((__address) dst_ptl0);
 		}