Las roms que vienen de serie en los Galaxys de Orange no permiten instalar ningún launcher.
Si tu amigo no quiere flashear a ninguna otra versión que no sea la de "casa", la mejor solución es que entre en el recovery y restablezca al estado de fábrica desde allí mismo.