x86/xen: Fix incorrect per_cpu accessor in xen_clocksource_read()