Supongo que lo necesitas para hacerle root no? Si es así, descarga el kernel de la b.10 de ese post y el del firmware b.100 también. Metes los dos en la carpeta de firmwares de Flashtool, flasheas el kernel de la .10 igual que flasheaste el firmware .100. Después haces root al móvil, y cuando hayas terminado, flasheas el kernel de la .100 y listo.
Un saludo!
