Kernel configurations for Fedora -- a proposal