[Fedora-packaging] Alternative kernel packages