x86/xen: split off smp_hvm.c