[PATCH 4.14 65/68] xen: Fix x86 sched_clock() interface for xen