Ja, hier geht es ja auch nicht ums picken, sondern es wird das komplette rom nur mit anderem toolchain gebuildet. Da finde ich, dass man zumindest mal anfragen kann ob es ok ist und wenn es, wie in diesem Fall noch kein fertiges rom ist, sollte man halt bis zum Release warten.
Soweit ich das verstanden habe, hat er ja gefragt und nie eine Antwort bekommen!! So hätte ich es auch gemacht!! Rom ist open source software und er hat alle bei der Veröffentlichung seinen Danke ausgesprochen oder irre ich mich!!