В репозитории разве нет? Скорее всего в kernel-dev входят и сорцы ядра и ему нужны какие-нибудь модули. Если нет, то вот еще адрес:
http://rpmfind.net/linux/rpm2html/search.php?query=kernel-devel
там много всяких версий