[gpderetta]

As noted elsethread, the code is indeed wrong even on x86, although you only need compiler fences there.