[X86] Fwd: i386 Xen PV support still needed?