kernel - Acquire vm_token in pmap_remove_all()