Te he editado yo el primer post, aunque eso tiene que ser exactamente lo que se muestra en en la información que te dije, de no ser así, esos datos no sirven, porque con 1 letra diferente, ya no serviría para portar modulos de otros kernels a estos.