[IA64] Use atomic64_read to read an atomic64_t.