x86/xen: split off smp_pv.c