Le kernel 5.1.1 n'est pas dispo encore, tu as du activer les updates-testing ? Voire même rawhide car y'a un sacré gap avec le 5.0.
Sinon le kernel-headers contient que les entêtes, .h, qui changent quasiment pas entre les sous versions du kernel. En gros quand l'
ABI ne change pas.
un dnf info indique que
kernel-headers c'est utile pour compiler les programmes, en listant les fonctions bas niveau permettant de faire le lien entre le userland et le kernel. Il sert aussi si on veut recompiler la glibc (ce qui n'arrive pas souvent, peut être même qu'a l'occasion de faire une nouvelle Fedora). Il s'agit d'un paquet unique.
Alors que kernel-devel, c'est utile pour compiler des modules. C'est donc normal que lui soit plus proche, voire identique au kernel en cours d'utilisation. Il est d'ailleurs construit en même temps que les kernel-core etc vu qu'il fait parti du même
SRPM.
De mémoire il y a toujours eu cette séparation. Tu as des info sur la séparation récente dont tu parles dans koji ?