Re: [Fedora-packaging] Alternative kernel packages