[Bug 376661] gettimeofday is not monotonically increasing under Xen kernel