Re: Xen x86_64 timescale?