André Hentschel : libport: Implemented the interlocked_cmpxchg128 function for ARM64.