Patch "x86/xen: split xen_smp_prepare_boot_cpu()" has been added to the 4.9-stable tree