https://fedoramagazine.org/install-kernel-koji/