Re: Xen SMP bug + workaround