x86, atomic: atomic64_read() take a const pointer