Últimas fontes do kernel não disponíveis para instalação? (Fedora 26 Beta)

Question

Acabei de me deparar com um problema em que as fontes do kernel instaladas não correspondem ao kernel que estou realmente executando.

Estou executando 4.11.7-300.fc26.x86_64 :

[root@localhost VirtualBoxGuestAdditions]# uname -r
4.11.7-300.fc26.x86_64

Mas as fontes mais recentes do kernel não parecem ter a mesma versão:

[root@localhost VirtualBoxGuestAdditions]# yum install kernel-devel
Last metadata expiration check: 1:30:50 ago on Wed 28 Jun 2017 04:11:01 PM CEST.
Package kernel-devel-4.11.6-301.fc26.x86_64 is already installed, skipping.
Dependencies resolved.
Nothing to do.
Complete!

E olhando para /usr/src/kernels/ com certeza, só tenho as fontes antigas:

[root@localhost VirtualBoxGuestAdditions]# ls -la /usr/src/kernels/
total 12
drwxr-xr-x.  3 root root 4096 Jun 28 16:22 .
drwxr-xr-x.  4 root root 4096 Jun 28 16:50 ..
drwxr-xr-x. 23 root root 4096 Jun 28 16:22 4.11.6-301.fc26.x86_64

Então, tentei especificar a versão manualmente, mas sem sucesso:

[root@localhost VirtualBoxGuestAdditions]# yum install kernel-devel-4.11.7-300.fc26
Last metadata expiration check: 1:27:40 ago on Wed 28 Jun 2017 04:11:01 PM CEST.
No package kernel-devel-4.11.7-300.fc26 available.
Error: Unable to find a match

Isso é normal? O que devo fazer agora?

    

Answer 1

Espero que este seja apenas um problema de espelhamento temporário. Experimente

sudo dnf --refresh upgrade kernel-devel

(Ou possivelmente apenas um% geralsudo dnf --refresh upgrade.)