[PATCH 4.20 040/111] xen: Fix x86 sched_clock() interface for xen