Xen SMP bug + workaround