Bueno,tal ves,si se pudiera crear un parche y meter el menu.ml a la carpeta others como con los camdrivers y las fonts,tal vez se podria hacer lo mismo de tener varios menu.ml y con solo renombrar y apagar/encender el celular tal vez se podria cambiar,es solo una idea.