Re: [CentOS-devel] Xen and timekeeping