RE: [RFC please help] membarrier: Rewrite sync_core_before_usermode()