Tarkoitin sitä, että jos tuolla sivustolla raportoi bugin, niin pitäisi valita sieltä jotenkin silleen, että Fedora-tuotteet, joista vielä uudelleen Fedora ja sitten listasta kernel. Tai sitten voisi toki mennä osoitteeseen https://admin.fedoraproject.org/pkgdb/packages/bugs/kernel ja sieltä “Report a new bug against this package”.