SERVER-6018 Use GCC __sync ops rather than hand rolled asm