Re: Kernel configurations for Fedora -- a proposal