alpha: convert to use arch_gettimeoffset()