Además cuando instales las fuentes kernel-source... 0.13 ya podrás instalar las ...0.25 antes de compilar para que el núcleo resultante lleve las últimas modificaciones de bug's y seguridad
Cualquier espejo de Mdk te vale para bajarte el paquete. Yo te remitia a uno en España por si estabas aquí
ftp://ftp.rediris.es/pub/linux/distr...13mdk.i586.rpm
Salud