Todo esto del dashlaunch , los avatares y demas cosas , vienen en un tutorial , leerlo , y no tendreis problemas, viene todo bien explicado.
Porque cada vez que cambiemos de kernel vais a tener el mismo problema.hay que actualizar todo . Y si cambiais los parametros del dashlaunch, pues problemas , y mas problemas todavia si nisiquiera sabeis como os han dejado el launch.ini . Por eso hay ke leer los tutoriales aunque sea un peñazo.