mmu: fix page invalidation on flag change

src/arch/x86_64/mmu.c

@@ -155,10 +155,10 @@ void arch_mmu_changeflags(arch_mmu_tableptr context, void* addr, size_t flags, s
 		mapping &= ~((uint64_t)1 << 63);
 		mapping |= flags;
 		setpage(context, addr, mapping);
+		invalidate(addr);
 		addr += PAGE_SIZE;
 	}
 
-	invalidate(addr);
 	
 }
 

src/sys/sched/scheduler.c

@@ -422,8 +422,6 @@ void sched_runinit(){
 
 	timer_add(&arch_getcls()->schedreq, THREAD_QUANTUM, true);
 
-	printf("Switching to init thread\n");
-
 	switch_thread(thread);
 	
 	__builtin_unreachable();