[Patch-for-stable-4.14 6/6] xen: Fix x86 sched_clock() interface for xen