Xen: fix cpu_hotplug.c build by replacing is_running_on_xen() with xen_pv_domain()