[arch-dev-public] Fwd: a kernel26-xen bug?