Mierda ... había respondido en el otro post y al darle al botón de enviar me ha saltado el aviso de tema cerrado ...
No tengo ganas de repetir todo el rollo. Básicamente diré que no hay donde elegir: sólo están disponibles los kernels proporcionados por Huawei y son todo variaciones sobre el mismo. Únicamente es algo distinto el kernel de la ROM B630 que tiene unos drivers gráficos diferentes con mayor rendimiento.
Por otra parte deberías dar un poco más de información: que ROM tienes, root, recovery ...