y los kernels se pueden instalar desde el flashtools? o siempre desde cmd? si se puede con flashtool como sería? Gracias!