s390/cmpxchg,percpu: implement cmpxchg_double()