x86: Add support for cmpxchg_double