The port to 2.4.2 is mostly done. We are going to post it on the website soon. No, the International Patch is not currently used. SELinux focuses on the addition of mandatory access controls, and crypto is not needed to support it.
Cryptography is, however, needed as part of the total system security picture.
Any reassurance on this would be greatfully received. We really do have the freedom to choose. We can make what we think is the right choice for the goals of SELinux. That choice will largely be driven by the need to select a widely-available platform on which to to demonstrate the integration of MAC controls. It is not all that odd that we would support Cerberus yet use FreeSwan.