libport: Added an interlocked_cmpxchg128 function for 64-bit.