No es necesario formatear la SD, ya que es tan solo almacenamiento de fotos, videos y poco más, asi que no hace falta
El kernel se flashea por odin, tienes que tener los drivers instalados y todo eso, mira el post oficial del kernel y veras instalacion paso a paso para novatos, si no te aclaras, mira algun video, aunque es muy facil ya que son unos clicks ;)
