x86: atomic64: Improve atomic64_read()