Kernel configurations for Fedora