alpha: fix memory barriers so that they conform to the specification