Native kernel: use basic run_native for pthread