si te refieres a nombre cambiado no hay forma de saberlo es por eso el nombre, tambien el nombre dela archivo .mbn dice, ese main para mi lo mas seguro es que sea el R1FA035 pero no te arriesgues solo flashea con los archivos que estan en el link anterior