ARMv8 load acquire / store release question