syscall: fix TLB not being flushed when necessary

syscall/task.c

@@ -620,7 +620,7 @@ kern_status_t sys_task_duplicate(
 	task_unlock_irqrestore(self, flags);
 
 	/* clear TLB */
-	pmap_switch(self->t_pmap);
+	pmap_flush();
 	put_current_task(self);
 
 	*out_task = child_handle;

syscall/vm-controller.c

@@ -448,5 +448,8 @@ kern_status_t sys_vm_controller_supply_pages(
 	object_unref(src_obj);
 	put_current_task(self);
 
+	/* TODO flush individual pages in vm_object_transfer */
+	pmap_flush();
+
 	return status;
 }