[PATCH 12/14] membarrier: Fix RCU locking bug caused by faulty merge