Xen x86_64 timescale?