ia64: Convert ia64 to use read/update_persistent_clock