1.1 --- a/linux-2.6-xen-sparse/drivers/xen/core/smpboot.c	Fri Jan 12 14:30:49 2007 +0000
     1.2 +++ b/linux-2.6-xen-sparse/drivers/xen/core/smpboot.c	Fri Jan 12 15:32:03 2007 +0000
     1.3 @@ -392,8 +392,10 @@ void __cpu_die(unsigned int cpu)
     1.4  
     1.5  	xen_smp_intr_exit(cpu);
     1.6  
     1.7 +#if defined(__i386__)
     1.8  	if (num_online_cpus() == 1)
     1.9  		alternatives_smp_switch(0);
    1.10 +#endif
    1.11  }
    1.12  
    1.13  #else /* !CONFIG_HOTPLUG_CPU */
    1.14 @@ -418,8 +420,10 @@ int __devinit __cpu_up(unsigned int cpu)
    1.15  	if (rc)
    1.16  		return rc;
    1.17  
    1.18 +#if defined(__i386__)
    1.19  	if (num_online_cpus() == 1)
    1.20  		alternatives_smp_switch(1);
    1.21 +#endif
    1.22  
    1.23  	/* This must be done before setting cpu_online_map */
    1.24  	set_cpu_sibling_map(cpu);