PR157: ARM memory barrier