Re: [PATCH v3 3/4] membarrier: Explicitly sync remote cores when SYNC_CORE is requested