le versioni del kernel che vengono rilasciate non sono distinte per distribuzioni

quindi ti basta scaricare la versione del kernel che ti interessa

ftp://ftp.kernel.org/pub/linux/kernel/
http://www.kernel.org/pub/linux/kernel/
www.kernel.org