I have rebuilt the packages with the OSLEC kernel module. They are available in the Fedora & Enterprise Linux RPM Repository.