According to x86, the pointers for bitops are supposed to be
qualified with volatile.  Make ARM bitops reflect this.