[PATCH] ntdll: Remove the no longer used "mutex" argument to server_select().