Bueno seguiremos leyendo por aqui, primero CoreELEC esta en su versión ultima 9.2.2 no queramos cambiarla. La versión Tvheadend es mejor usar la que trae por defecto, CoreELEC lleva una y AlexELEC otra, yo diría que practicamente son iguales poca variantes que influyan en el rendimiento.
Luego lo otro que comentas de la microSD de 128GB es grande para CoreELEC, que arranque con algún firmware Android pero lo dicho lo recomendable es 64GB o menos segun especificaciones tecnicas del fabricante.