Ja gute Frage...
ich hab das C2 build aus http://test.libreelec.tv/ aufgespielt. Rennt 1a.
Ob das jetzt schon CoreElec ist, oder nicht, weiß ich aber auch nicht - Build-Date ist aber das gleiche wie die "Cores"
Aha! Da sind die Images hin.
Also ich konnte auf jeden Fall das Image für den RK3328 installieren und es läuft auch.
Nur die Libreelec repositories scheinen nicht zu funktionieren.