Does anyone know if the ipw3945 wirelss card has worked or can work with a Xen kernel. The ipw3945 bits from freshprms.net work fine with FC6 kernel, but if I boot using the Xen kernel than it does not work. Thanks,