Re: [PATCH v3 2/4] membarrier: Add an actual barrier before rseq_preempt()