[PATCH 4.9 120/177] x86/xen: split xen_smp_prepare_boot_cpu()