Você poderia compartilhar como adquirir o código-fonte do kernel correspondente para 4.5.5-300.fc24.x86_64 ? Não consigo encontrá-lo em /usr/src/kernels ao instalar isso no Fedora 24.
4.5.5-300.fc24.x86_64
/usr/src/kernels
Tags kernel source-code fedora