Descobri que este pacote parece ser chamado de kernel-devel
, que automaticamente captura a versão mais recente. Este pacote foi instalado, mas estava em uma versão mais nova do que o meu kernel em execução, então eu simplesmente tive que reinicializar para obter meu kernel em execução para a mesma versão no repositório.