Fedora's kernel .config files with a10 config added