Use the 64-bit atomics now provided by arm machine/atomic.h instead of
(conflicting) local versions.