La verdad nunca he usado algo así, desconozco sí hay que limpiarlo o no, simplemente re-flasheo otro, recuerdo que en Linux siempre terminaba con una larga lista de kernel por lo cual debía desintalarlos manualmente cuando no los usaba, mi recomendación personal, es que dejarlo así no me causa ningún problema