Fwd: i386 Xen PV support still needed?