RE: ARMv8 load acquire / store release question