El kernel de Ubuntu 10.04 tiene un bug que afecta al SMP cuando está corriendo sobre un Hypervisor de Xen. Este bug afecta tanto a máquinas virtuales de 32 como de 64 bits.