x86: atomic64: Make atomic_read() type-safe