Revert back to spin-to-sleep futex implementation
Optimize path for reqeusting harts and fix race when joining