que yo sepa miui tiene kernels especificos, menos la galnet, que tiene speedmod, pero porque es una mezcla de las dos