xen: drop xen_sched_clock in favour of using plain wallclock time