x86/xen: split xen_cpu_die()