kernel: Add atomic_cmpxchg_int()