x86_64: x86_64 - Use non locked version for local_cmpxchg()