Re: [GHC] #9350: Consider using xchg instead of mfence for CS stores