Parece que não consigo o fedora 25 reconhecer meu teclado do modelo ps2. Não é reconhecido pela bios, mas isso nunca importou antes. Eu estou rodando o kernel 4.10, ele parece ser reconhecido no 4.8 embora. A atualização foi feita através do plug-in de atualização do sistema dnf.