I don't believe that the ipw drivers are included in the kernel. It is more likely that Red Hat built them from the source code and included the modules with their stock kernels in Fedora. Note that I'm guessing the 2.6.13.2 kernel is not from Fedora.
If you want to use the 2.6.13.2 kernel, you could always compile the ipw2200 drivers from source, which you can find
here